var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://s3-us-west-2.amazonaws.com/us-west-2.files.campus.edublogs.org/research.seas.ucla.edu/dist/b/22/files/2023/02/publicactions_v1.bib\",\"authorFirst\":\"1\",\"nocache\":\"1\",\"fullnames\":\"1\",\"theme\":\"bullets\",\"group0\":\"year\",\"group1\":\"type\",\"owner\":\"{}\",\"filter\":\"tags:(CPS|SecureCPS)\",\"jsonp\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"abstract\":\"We consider the problem of state-estimation of a linear dynamical system when some of the sensor measurements are corrupted by an adversarial attacker. The errors injected by the attacker in the sensor measurements can be arbitrary and are not assumed to follow a specific model (in particular they can be of arbitrary magnitude). We first characterize the number of attacked sensors that can be tolerated so that the state of the system can still be correctly recovered by any decoding algorithm. We then propose a specific computationally feasible decoding algorithm and we give a characterization of the number of errors this decoder can correct. For this we use ideas from compressed sensing and error correction over the reals and we exploit the dynamical nature of the problem. We show using numerical simulations that this decoder performs very well in practice and allows to correct a large number of errors.\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Fawzi\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"P.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"S.\"],\"suffixes\":[]}],\"booktitle\":\"Communication, Control, and Computing (Allerton), 2011 49th Annual Allerton Conference on\",\"doi\":\"10.1109/Allerton.2011.6120187\",\"file\":\":papers:secure_state_estimate.pdf\",\"month\":\"Sept\",\"pages\":\"337-344\",\"tags\":\"conf,SecureCPS\",\"title\":\"Secure state-estimation for dynamical systems under active adversaries\",\"year\":\"2011\",\"bibtex\":\"@inproceedings{6120187,\\n abstract = {We consider the problem of state-estimation of a linear dynamical system when some of the sensor measurements are corrupted by an adversarial attacker. The errors injected by the attacker in the sensor measurements can be arbitrary and are not assumed to follow a specific model (in particular they can be of arbitrary magnitude). We first characterize the number of attacked sensors that can be tolerated so that the state of the system can still be correctly recovered by any decoding algorithm. We then propose a specific computationally feasible decoding algorithm and we give a characterization of the number of errors this decoder can correct. For this we use ideas from compressed sensing and error correction over the reals and we exploit the dynamical nature of the problem. We show using numerical simulations that this decoder performs very well in practice and allows to correct a large number of errors.},\\n author = {Fawzi, H. and Tabuada, P. and Diggavi, S.},\\n booktitle = {Communication, Control, and Computing (Allerton), 2011 49th Annual Allerton Conference on},\\n doi = {10.1109/Allerton.2011.6120187},\\n file = {:papers:secure_state_estimate.pdf},\\n month = {Sept},\\n pages = {337-344},\\n tags = {conf,SecureCPS},\\n title = {Secure state-estimation for dynamical systems under active adversaries},\\n type = {4},\\n year = {2011}\\n}\\n\\n\",\"author_short\":[\"Fawzi, H.\",\"Tabuada, P.\",\"Diggavi, S.\"],\"key\":\"6120187\",\"id\":\"6120187\",\"bibbaseid\":\"fawzi-tabuada-diggavi-securestateestimationfordynamicalsystemsunderactiveadversaries-2011\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"abstract\":\"We consider the problem of estimation and control of a linear system when some of the sensors or actuators are attacked by a malicious agent. In our previous work [1] we studied systems with no control inputs and we formulated the estimation problem as a dynamic error correction problem with sparse attack vectors. In this paper we extend our study and look at the role of inputs and control. We first show that it is possible to increase the resilience of the system to attacks by changing the dynamics of the system using state-feedback while having (almost) total freedom in placing the new poles of the system. We then look at the problem of stabilizing a plant using output-feedback despite attacks on sensors, and we show that a principle of separation of estimation and control holds. Finally we look at the effect of attacks on actuators in addition to attacks on sensors: we characterize the resilience of the system with respect to actuator and sensor attacks and we formulate an efficient optimization-based decoder to estimate the state of the system despite attacks on actuators and sensors.\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Fawzi\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"P.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"S.\"],\"suffixes\":[]}],\"booktitle\":\"Decision and Control (CDC), 2012 IEEE 51st Annual Conference on\",\"doi\":\"10.1109/CDC.2012.6426811\",\"file\":\":papers:security_cdc.pdf\",\"issn\":\"0743-1546\",\"month\":\"Dec\",\"pages\":\"3412-3417\",\"tags\":\"conf,SecureCPS\",\"title\":\"Security for control systems under sensor and actuator attacks\",\"year\":\"2012\",\"bibtex\":\"@inproceedings{6426811,\\n abstract = {We consider the problem of estimation and control of a linear system when some of the sensors or actuators are attacked by a malicious agent. In our previous work [1] we studied systems with no control inputs and we formulated the estimation problem as a dynamic error correction problem with sparse attack vectors. In this paper we extend our study and look at the role of inputs and control. We first show that it is possible to increase the resilience of the system to attacks by changing the dynamics of the system using state-feedback while having (almost) total freedom in placing the new poles of the system. We then look at the problem of stabilizing a plant using output-feedback despite attacks on sensors, and we show that a principle of separation of estimation and control holds. Finally we look at the effect of attacks on actuators in addition to attacks on sensors: we characterize the resilience of the system with respect to actuator and sensor attacks and we formulate an efficient optimization-based decoder to estimate the state of the system despite attacks on actuators and sensors.},\\n author = {Fawzi, H. and Tabuada, P. and Diggavi, S.},\\n booktitle = {Decision and Control (CDC), 2012 IEEE 51st Annual Conference on},\\n doi = {10.1109/CDC.2012.6426811},\\n file = {:papers:security_cdc.pdf},\\n issn = {0743-1546},\\n month = {Dec},\\n pages = {3412-3417},\\n tags = {conf,SecureCPS},\\n title = {Security for control systems under sensor and actuator attacks},\\n type = {4},\\n year = {2012}\\n}\\n\\n\",\"author_short\":[\"Fawzi, H.\",\"Tabuada, P.\",\"Diggavi, S.\"],\"key\":\"6426811\",\"id\":\"6426811\",\"bibbaseid\":\"fawzi-tabuada-diggavi-securityforcontrolsystemsundersensorandactuatorattacks-2012\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"2\",\"abstract\":\"The vast majority of today's critical infrastructure is supported by numerous feedback control loops and an attack on these control loops can have disastrous consequences. This is a major concern since modern control systems are becoming large and decentralized and thus more vulnerable to attacks. This paper is concerned with the estimation and control of linear systems when some of the sensors or actuators are corrupted by an attacker. We give a new simple characterization of the maximum number of attacks that can be detected and corrected as a function of the pair (A,C) of the system and we show in particular that it is impossible to accurately reconstruct the state of a system if more than half the sensors are attacked. In addition, we show how the design of a secure local control loop can improve the resilience of the system. When the number of attacks is smaller than a threshold, we propose an efficient algorithm inspired from techniques in compressed sensing to estimate the state of the plant despite attacks. We give a theoretical characterization of the performance of this algorithm and we show on numerical simulations that the method is promising and allows to reconstruct the state accurately despite attacks. Finally, we consider the problem of designing output-feedback controllers that stabilize the system despite sensor attacks. We show that a principle of separation between estimation and control holds and that the design of resilient output feedback controllers can be reduced to the design of resilient state estimators.\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Fawzi\"],\"firstnames\":[\"H.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"P.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"S.\"],\"suffixes\":[]}],\"doi\":\"10.1109/TAC.2014.2303233\",\"issn\":\"0018-9286\",\"journal\":\"Automatic Control, IEEE Transactions on\",\"month\":\"June\",\"number\":\"6\",\"pages\":\"1454-1467\",\"tags\":\"journal,SecureCPS\",\"title\":\"Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks\",\"url_arxiv\":\"http://arxiv.org/abs/1205.5073\",\"volume\":\"59\",\"year\":\"2014\",\"bibtex\":\"@article{6727407,\\n abstract = {The vast majority of today's critical infrastructure is supported by numerous feedback control loops and an attack on these control loops can have disastrous consequences. This is a major concern since modern control systems are becoming large and decentralized and thus more vulnerable to attacks. This paper is concerned with the estimation and control of linear systems when some of the sensors or actuators are corrupted by an attacker. We give a new simple characterization of the maximum number of attacks that can be detected and corrected as a function of the pair (A,C) of the system and we show in particular that it is impossible to accurately reconstruct the state of a system if more than half the sensors are attacked. In addition, we show how the design of a secure local control loop can improve the resilience of the system. When the number of attacks is smaller than a threshold, we propose an efficient algorithm inspired from techniques in compressed sensing to estimate the state of the plant despite attacks. We give a theoretical characterization of the performance of this algorithm and we show on numerical simulations that the method is promising and allows to reconstruct the state accurately despite attacks. Finally, we consider the problem of designing output-feedback controllers that stabilize the system despite sensor attacks. We show that a principle of separation between estimation and control holds and that the design of resilient output feedback controllers can be reduced to the design of resilient state estimators.},\\n author = {Fawzi, H. and Tabuada, P. and Diggavi, S.},\\n doi = {10.1109/TAC.2014.2303233},\\n issn = {0018-9286},\\n journal = {Automatic Control, IEEE Transactions on},\\n month = {June},\\n number = {6},\\n pages = {1454-1467},\\n tags = {journal,SecureCPS},\\n title = {Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks},\\n type = {2},\\n url_arxiv = {http://arxiv.org/abs/1205.5073},\\n volume = {59},\\n year = {2014}\\n}\\n\\n\",\"author_short\":[\"Fawzi, H.\",\"Tabuada, P.\",\"Diggavi, S.\"],\"key\":\"6727407\",\"id\":\"6727407\",\"bibbaseid\":\"fawzi-tabuada-diggavi-secureestimationandcontrolforcyberphysicalsystemsunderadversarialattacks-2014\",\"role\":\"author\",\"urls\":{\" arxiv\":\"http://arxiv.org/abs/1205.5073\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":1,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Mishra\"],\"firstnames\":[\"S.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Shoukry\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Karamchandani\"],\"firstnames\":[\"N.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"S.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"P.\"],\"suffixes\":[]}],\"booktitle\":\"Information Theory (ISIT), 2015 IEEE International Symposium on\",\"file\":\":papers:sse_mskdt.pdf\",\"month\":\"June\",\"pages\":\"2929-2933\",\"tags\":\"conf,IT,SecureCPS\",\"title\":\"Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise\",\"year\":\"2015\",\"bibtex\":\"@inproceedings{7282993,\\n author = {Mishra, S. and Shoukry, Y. and Karamchandani, N. and Diggavi, S. and Tabuada, P.},\\n booktitle = {Information Theory (ISIT), 2015 IEEE International Symposium on},\\n file = {:papers:sse_mskdt.pdf},\\n month = {June},\\n pages = {2929-2933},\\n tags = {conf,IT,SecureCPS},\\n title = {Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise},\\n type = {4},\\n year = {2015}\\n}\\n\\n\",\"author_short\":[\"Mishra, S.\",\"Shoukry, Y.\",\"Karamchandani, N.\",\"Diggavi, S.\",\"Tabuada, P.\"],\"key\":\"7282993\",\"id\":\"7282993\",\"bibbaseid\":\"mishra-shoukry-karamchandani-diggavi-tabuada-securestateestimationoptimalguaranteesagainstsensorattacksinthepresenceofnoise-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"abstract\":\"We study a crowdsourcing aided road traffic estimation setup, where a fraction of users (vehicles) are malicious, and report wrong sensory information, or even worse, report the presence of Sybil (ghost) vehicles that do not physically exist. The motivation for such attacks lies in the possibility of creating a \\\"virtual\\\" congestion that can influence routing algorithms, leading to \\\"actual\\\" congestion and chaos. We propose a Sybil attack-resilient traffic estimation and routing algorithm that is resilient against such attacks. In particular, our algorithm leverages noisy information from legacy sensing infrastructure, along with the dynamics and proximity graph of vehicles inferred from crowdsourced data. Furthermore, the scalability of our algorithm is based on efficient Boolean Satisfiability (SAT) solvers. We validated our algorithm using real traffic data from the Italian city of Bologna. Our algorithm led to a significant reduction in average travel time in the presence of Sybil attacks, including cases where the travel time was reduced from about an hour to a few minutes.\",\"author\":[{\"firstnames\":[\"Y.\"],\"propositions\":[],\"lastnames\":[\"Shoukry\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Mishra\"],\"suffixes\":[]},{\"firstnames\":[\"Z.\"],\"propositions\":[],\"lastnames\":[\"Luo\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"suffixes\":[]}],\"booktitle\":\"2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)\",\"doi\":\"10.1109/ICCPS.2018.00013\",\"issn\":\"\",\"keywords\":\"computability;graph theory;road traffic;telecommunication network routing;telecommunication security;crowdsourced data;traffic data;Sybil attack resilient traffic networks;physics-based trust propagation approach;crowdsourcing aided road traffic estimation setup;Sybil vehicles;virtual congestion;routing algorithms;chaos;routing algorithm;sensory information;noisy information;real traffic data;proximity graph;Automobiles;Routing;Roads;Heuristic algorithms;Estimation;Intelligent sensors;Secure Smart transportation systems;Sybil attacks;resilient routing\",\"month\":\"April\",\"number\":\"\",\"pages\":\"43-54\",\"tags\":\"conf,CPS\",\"title\":\"Sybil Attack Resilient Traffic Networks: A Physics-Based Trust Propagation Approach\",\"volume\":\"\",\"year\":\"2018\",\"bibtex\":\"@inproceedings{8443720,\\n abstract = {We study a crowdsourcing aided road traffic estimation setup, where a fraction of users (vehicles) are malicious, and report wrong sensory information, or even worse, report the presence of Sybil (ghost) vehicles that do not physically exist. The motivation for such attacks lies in the possibility of creating a \\\"virtual\\\" congestion that can influence routing algorithms, leading to \\\"actual\\\" congestion and chaos. We propose a Sybil attack-resilient traffic estimation and routing algorithm that is resilient against such attacks. In particular, our algorithm leverages noisy information from legacy sensing infrastructure, along with the dynamics and proximity graph of vehicles inferred from crowdsourced data. Furthermore, the scalability of our algorithm is based on efficient Boolean Satisfiability (SAT) solvers. We validated our algorithm using real traffic data from the Italian city of Bologna. Our algorithm led to a significant reduction in average travel time in the presence of Sybil attacks, including cases where the travel time was reduced from about an hour to a few minutes.},\\n author = {Y. {Shoukry} and S. {Mishra} and Z. {Luo} and S. {Diggavi}},\\n booktitle = {2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)},\\n doi = {10.1109/ICCPS.2018.00013},\\n issn = {},\\n keywords = {computability;graph theory;road traffic;telecommunication network routing;telecommunication security;crowdsourced data;traffic data;Sybil attack resilient traffic networks;physics-based trust propagation approach;crowdsourcing aided road traffic estimation setup;Sybil vehicles;virtual congestion;routing algorithms;chaos;routing algorithm;sensory information;noisy information;real traffic data;proximity graph;Automobiles;Routing;Roads;Heuristic algorithms;Estimation;Intelligent sensors;Secure Smart transportation systems;Sybil attacks;resilient routing},\\n month = {April},\\n number = {},\\n pages = {43-54},\\n tags = {conf,CPS},\\n title = {Sybil Attack Resilient Traffic Networks: A Physics-Based Trust Propagation Approach},\\n type = {4},\\n volume = {},\\n year = {2018}\\n}\\n\\n\",\"author_short\":[\"Shoukry, Y.\",\"Mishra, S.\",\"Luo, Z.\",\"Diggavi, S.\"],\"key\":\"8443720\",\"id\":\"8443720\",\"bibbaseid\":\"shoukry-mishra-luo-diggavi-sybilattackresilienttrafficnetworksaphysicsbasedtrustpropagationapproach-2018\",\"role\":\"author\",\"urls\":{},\"keyword\":[\"computability;graph theory;road traffic;telecommunication network routing;telecommunication security;crowdsourced data;traffic data;Sybil attack resilient traffic networks;physics-based trust propagation approach;crowdsourcing aided road traffic estimation setup;Sybil vehicles;virtual congestion;routing algorithms;chaos;routing algorithm;sensory information;noisy information;real traffic data;proximity graph;Automobiles;Routing;Roads;Heuristic algorithms;Estimation;Intelligent sensors;Secure Smart transportation systems;Sybil attacks;resilient routing\"],\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"2\",\"abstract\":\"Secure state-reconstruction is the problem of reconstructing the state of a linear time-invariant system from sensor measurements that have been corrupted by an adversary. Whereas most work focuses on attacks on sensors, we consider the more challenging case where attacks occur on sensors as well as on nodes and links of a network that transports sensor measurements to a receiver. In this letter we provide necessary and sufficient conditions for the secure state-reconstruction problem to be solvable in the presence of attacks on sensors and on the network.\",\"author\":[{\"firstnames\":[\"Y.\"],\"propositions\":[],\"lastnames\":[\"Mao\"],\"suffixes\":[]},{\"firstnames\":[\"S.\"],\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"suffixes\":[]},{\"firstnames\":[\"C.\"],\"propositions\":[],\"lastnames\":[\"Fragouli\"],\"suffixes\":[]},{\"firstnames\":[\"P.\"],\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"suffixes\":[]}],\"doi\":\"10.1109/LCSYS.2020.3000853\",\"issn\":\"2475-1456\",\"journal\":\"IEEE Control Systems Letters\",\"keywords\":\"control system security;linear systems;secure state-reconstruction;sensor measurements;linear time-invariant system;Receivers;Sensors;Relay networks (telecommunications);Observability;Indexes;Network coding;Fault tolerant systems;network analysis and control;fault detection\",\"month\":\"Jan\",\"number\":\"1\",\"pages\":\"157-162\",\"tags\":\"journal,CPS\",\"title\":\"Secure State-Reconstruction Over Networks Subject to Attacks\",\"volume\":\"5\",\"year\":\"2021\",\"bibtex\":\"@article{9112310,\\n abstract = {Secure state-reconstruction is the problem of reconstructing the state of a linear time-invariant system from sensor measurements that have been corrupted by an adversary. Whereas most work focuses on attacks on sensors, we consider the more challenging case where attacks occur on sensors as well as on nodes and links of a network that transports sensor measurements to a receiver. In this letter we provide necessary and sufficient conditions for the secure state-reconstruction problem to be solvable in the presence of attacks on sensors and on the network.},\\n author = {Y. {Mao} and S. {Diggavi} and C. {Fragouli} and P. {Tabuada}},\\n doi = {10.1109/LCSYS.2020.3000853},\\n issn = {2475-1456},\\n journal = {IEEE Control Systems Letters},\\n keywords = {control system security;linear systems;secure state-reconstruction;sensor measurements;linear time-invariant system;Receivers;Sensors;Relay networks (telecommunications);Observability;Indexes;Network coding;Fault tolerant systems;network analysis and control;fault detection},\\n month = {Jan},\\n number = {1},\\n pages = {157-162},\\n tags = {journal,CPS},\\n title = {Secure State-Reconstruction Over Networks Subject to Attacks},\\n type = {2},\\n volume = {5},\\n year = {2021}\\n}\\n\\n\",\"author_short\":[\"Mao, Y.\",\"Diggavi, S.\",\"Fragouli, C.\",\"Tabuada, P.\"],\"key\":\"9112310\",\"id\":\"9112310\",\"bibbaseid\":\"mao-diggavi-fragouli-tabuada-securestatereconstructionovernetworkssubjecttoattacks-2021\",\"role\":\"author\",\"urls\":{},\"keyword\":[\"control system security;linear systems;secure state-reconstruction;sensor measurements;linear time-invariant system;Receivers;Sensors;Relay networks (telecommunications);Observability;Indexes;Network coding;Fault tolerant systems;network analysis and control;fault detection\"],\"metadata\":{\"authorlinks\":{}},\"downloads\":3,\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"2\",\"abstract\":\"The Internet of Battlefield Things (IoBT) might be one of the most expensive cyber-physical systems of the next decade, yet much research remains to develop its fundamental enablers. A challenge that distinguishes the IoBT from its civilian counterparts is resilience to a much larger spectrum of threats.\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Abdelzaher\"],\"firstnames\":[\"Tarek\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ayanian\"],\"firstnames\":[\"Nora\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Basar\"],\"firstnames\":[\"Tamer\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"Suhas\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diesner\"],\"firstnames\":[\"Jana\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ganesan\"],\"firstnames\":[\"Deepak\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Govindan\"],\"firstnames\":[\"Ramesh\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Jha\"],\"firstnames\":[\"Susmit\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Lepoint\"],\"firstnames\":[\"Tancrede\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Marlin\"],\"firstnames\":[\"Benjamin\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"others\"],\"suffixes\":[]}],\"journal\":\"Computer\",\"number\":\"11\",\"pages\":\"24–36\",\"publisher\":\"IEEE\",\"tags\":\"journal,CPS,DML\",\"title\":\"Toward an internet of battlefield things: a resilience perspective\",\"doi\":\"10.1109/MC.2018.2876048\",\"volume\":\"51\",\"year\":\"2018\",\"bibtex\":\"@article{abdelzaher2018toward,\\n abstract = {The Internet of Battlefield Things (IoBT) might be one of the most expensive cyber-physical systems of the next decade, yet much research remains to develop its fundamental enablers. A challenge that distinguishes the IoBT from its civilian counterparts is resilience to a much larger spectrum of threats.},\\n author = {Abdelzaher, Tarek and Ayanian, Nora and Basar, Tamer and Diggavi, Suhas and Diesner, Jana and Ganesan, Deepak and Govindan, Ramesh and Jha, Susmit and Lepoint, Tancrede and Marlin, Benjamin and others},\\n journal = {Computer},\\n number = {11},\\n pages = {24--36},\\n publisher = {IEEE},\\n tags = {journal,CPS,DML},\\n title = {Toward an internet of battlefield things: a resilience perspective},\\n type = {2},\\n doi = {10.1109/MC.2018.2876048},\\n volume = {51},\\n year = {2018}\\n}\\n\\n\",\"author_short\":[\"Abdelzaher, T.\",\"Ayanian, N.\",\"Basar, T.\",\"Diggavi, S.\",\"Diesner, J.\",\"Ganesan, D.\",\"Govindan, R.\",\"Jha, S.\",\"Lepoint, T.\",\"Marlin, B.\",\"others\"],\"key\":\"abdelzaher2018toward\",\"id\":\"abdelzaher2018toward\",\"bibbaseid\":\"abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-towardaninternetofbattlefieldthingsaresilienceperspective-2018\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"abstract\":\"An upcoming frontier for distributed computing might literally save lives in future military operations. In civilian scenarios, significant efficiencies were gained from interconnecting devices into networked services and applications that automate much of everyday life from smart homes to intelligent transportation. The ecosystem of such applications and services is collectively called the Internet of Things (IoT). Can similar benefits be gained in a military context by developing an IoT for the battlefield? This paper describes unique challenges in such a context as well as potential risks, mitigation strategies, and benefits.\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Abdelzaher\"],\"firstnames\":[\"Tarek\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ayanian\"],\"firstnames\":[\"Nora\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Basar\"],\"firstnames\":[\"Tamer\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"Suhas\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diesner\"],\"firstnames\":[\"Jana\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ganesan\"],\"firstnames\":[\"Deepak\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Govindan\"],\"firstnames\":[\"Ramesh\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Jha\"],\"firstnames\":[\"Susmit\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Lepoint\"],\"firstnames\":[\"Tancrede\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Marlin\"],\"firstnames\":[\"Ben\"],\"suffixes\":[]},{\"firstnames\":[],\"propositions\":[],\"lastnames\":[\"others\"],\"suffixes\":[]}],\"booktitle\":\"2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS)\",\"organization\":\"IEEE\",\"pages\":\"1129–1138\",\"tags\":\"conf,CPS,DML\",\"title\":\"Will distributed computing revolutionize peace? the emergence of battlefield iot\",\"doi\":\"10.1109/ICDCS.2018.00112\",\"year\":\"2018\",\"bibtex\":\"@inproceedings{abdelzaher2018will,\\n abstract = {An upcoming frontier for distributed computing might literally save lives in future military operations. In civilian scenarios, significant efficiencies were gained from interconnecting devices into networked services and applications that automate much of everyday life from smart homes to intelligent transportation. The ecosystem of such applications and services is collectively called the Internet of Things (IoT). Can similar benefits be gained in a military context by developing an IoT for the battlefield? This paper describes unique challenges in such a context as well as potential risks, mitigation strategies, and benefits.},\\n author = {Abdelzaher, Tarek and Ayanian, Nora and Basar, Tamer and Diggavi, Suhas and Diesner, Jana and Ganesan, Deepak and Govindan, Ramesh and Jha, Susmit and Lepoint, Tancrede and Marlin, Ben and others},\\n booktitle = {2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS)},\\n organization = {IEEE},\\n pages = {1129--1138},\\n tags = {conf,CPS,DML},\\n title = {Will distributed computing revolutionize peace? the emergence of battlefield iot},\\n type = {4},\\n doi = {10.1109/ICDCS.2018.00112},\\n year = {2018}\\n}\\n\\n\",\"author_short\":[\"Abdelzaher, T.\",\"Ayanian, N.\",\"Basar, T.\",\"Diggavi, S.\",\"Diesner, J.\",\"Ganesan, D.\",\"Govindan, R.\",\"Jha, S.\",\"Lepoint, T.\",\"Marlin, B.\",\"others\"],\"key\":\"abdelzaher2018will\",\"id\":\"abdelzaher2018will\",\"bibbaseid\":\"abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-willdistributedcomputingrevolutionizepeacetheemergenceofbattlefieldiot-2018\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"abstract\":\"In Cyber- Physical Systems (CPSs), inference based on communicated data is of critical significance as it can be used to manipulate or damage the control operations by adversaries. This calls for efficient mechanisms for secure transmission of data since control systems are becoming increasingly distributed over larger geographical areas. Distortion based security, recently proposed as one candidate for CPSs security, is not only more appropriate for these applications but also quite frugal in terms of prior requirements on shared keys. In this paper, we propose distortion-based metrics to protect CPSs communication and show that it is possible to confuse adversaries with just a few bits of pre-shared keys.\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Agarwal\"],\"firstnames\":[\"Gaurav\",\"Kumar\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Karmoose\"],\"firstnames\":[\"Mohammed\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"Suhas\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Fragouli\"],\"firstnames\":[\"Christina\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"Paulo\"],\"suffixes\":[]}],\"booktitle\":\"2018 IEEE Conference on Decision and Control (CDC)\",\"organization\":\"IEEE\",\"pages\":\"1476–1481\",\"tags\":\"conf,CPS\",\"title\":\"Distorting an adversary's view in cyber-physical systems\",\"url_arxiv\":\"https://arxiv.org/abs/1809.04580\",\"doi\":\"10.1109/CDC.2018.8619457\",\"year\":\"2018\",\"bibtex\":\"@inproceedings{agarwal2018distorting,\\n abstract = {In Cyber- Physical Systems (CPSs), inference based on communicated data is of critical significance as it can be used to manipulate or damage the control operations by adversaries. This calls for efficient mechanisms for secure transmission of data since control systems are becoming increasingly distributed over larger geographical areas. Distortion based security, recently proposed as one candidate for CPSs security, is not only more appropriate for these applications but also quite frugal in terms of prior requirements on shared keys. In this paper, we propose distortion-based metrics to protect CPSs communication and show that it is possible to confuse adversaries with just a few bits of pre-shared keys.},\\n author = {Agarwal, Gaurav Kumar and Karmoose, Mohammed and Diggavi, Suhas and Fragouli, Christina and Tabuada, Paulo},\\n booktitle = {2018 IEEE Conference on Decision and Control (CDC)},\\n organization = {IEEE},\\n pages = {1476--1481},\\n tags = {conf,CPS},\\n title = {Distorting an adversary's view in cyber-physical systems},\\n type = {4},\\n url_arxiv = {https://arxiv.org/abs/1809.04580},\\n doi = {10.1109/CDC.2018.8619457},\\n year = {2018}\\n}\\n\\n\",\"author_short\":[\"Agarwal, G. K.\",\"Karmoose, M.\",\"Diggavi, S.\",\"Fragouli, C.\",\"Tabuada, P.\"],\"key\":\"agarwal2018distorting\",\"id\":\"agarwal2018distorting\",\"bibbaseid\":\"agarwal-karmoose-diggavi-fragouli-tabuada-distortinganadversarysviewincyberphysicalsystems-2018\",\"role\":\"author\",\"urls\":{\" arxiv\":\"https://arxiv.org/abs/1809.04580\"},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"2\",\"abstract\":\"In Cyber-Physical Systems (CPS), inference based on communicated data is of critical significance as it can be used to manipulate or damage the control operations by adversaries. This calls for efficient mechanisms for secure transmission of data since control systems are becoming increasingly distributed over larger geographical areas. Distortion based security, recently proposed as one candidate for secure transmissions in CPS, is not only more appropriate for these applications but also quite frugal in terms of prior requirements on shared keys. In this paper, we propose distortion-based metrics to protect CPS communication and show that it is possible to confuse adversaries with just a few bits of pre-shared keys. In particular, we will show that a linear dynamical system can communicate its state in a manner that prevents an eavesdropper from accurately learning the state.\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Agarwal\"],\"firstnames\":[\"G.\",\"K.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Karmoose\"],\"firstnames\":[\"M.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"S.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Fragouli\"],\"firstnames\":[\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"P.\"],\"suffixes\":[]}],\"doi\":\"10.1109/TAC.2020.3006814\",\"journal\":\"IEEE Transactions on Automatic Control\",\"tags\":\"journal,CPS\",\"title\":\"Distortion based Light-weight Security for Cyber-Physical Systems\",\"url_arxiv\":\"https://arxiv.org/abs/2006.15998\",\"year\":\"2021\",\"volume\":\"66\",\"number\":\"4\",\"pages\":\"1588-1601\",\"bibtex\":\"@article{agarwal2020distortion,\\n abstract = {In Cyber-Physical Systems (CPS), inference based on communicated data is of critical significance as it can be used to manipulate or damage the control operations by adversaries. This calls for efficient mechanisms for secure transmission of data since control systems are becoming increasingly distributed over larger geographical areas. Distortion based security, recently proposed as one candidate for secure transmissions in CPS, is not only more appropriate for these applications but also quite frugal in terms of prior requirements on shared keys. In this paper, we propose distortion-based metrics to protect CPS communication and show that it is possible to confuse adversaries with just a few bits of pre-shared keys. In particular, we will show that a linear dynamical system can communicate its state in a manner that prevents an eavesdropper from accurately learning the state.},\\n author = {Agarwal, G. K. and Karmoose, M. and Diggavi, S. and Fragouli, C. and Tabuada, P.},\\n doi = {10.1109/TAC.2020.3006814},\\n journal = {IEEE Transactions on Automatic Control},\\n tags = {journal,CPS},\\n title = {Distortion based Light-weight Security for Cyber-Physical Systems},\\n type = {2},\\n url_arxiv = {https://arxiv.org/abs/2006.15998},\\n year = {2021},\\n volume={66},\\n number={4},\\n pages={1588-1601},\\n}\\n\\n\",\"author_short\":[\"Agarwal, G. K.\",\"Karmoose, M.\",\"Diggavi, S.\",\"Fragouli, C.\",\"Tabuada, P.\"],\"key\":\"agarwal2020distortion\",\"id\":\"agarwal2020distortion\",\"bibbaseid\":\"agarwal-karmoose-diggavi-fragouli-tabuada-distortionbasedlightweightsecurityforcyberphysicalsystems-2021\",\"role\":\"author\",\"urls\":{\" arxiv\":\"https://arxiv.org/abs/2006.15998\"},\"metadata\":{\"authorlinks\":{}},\"downloads\":2,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"abstract\":\"This work is concerned with the identification of linear time-invariant systems in the presence of an adversarial agent that attacks sensor measurements. The attacker is omniscient and we impose no restrictions (statistical or otherwise) on how the adversary alters the sensor measurements. We work in a noisy scenario where, in addition to the attacks, the sensor measurements are also affected by additive noise. Given a bound on the number of attacked sensors, and under a certain observability condition, we show that we can still construct a model that is useful for stabilization. Furthermore, we show that this model is closely related to the original system.\",\"author\":[{\"firstnames\":[\"Mehrdad\"],\"propositions\":[],\"lastnames\":[\"Showkatbakhsh\"],\"suffixes\":[]},{\"firstnames\":[\"Paulo\"],\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"suffixes\":[]},{\"firstnames\":[\"Suhas\",\"N.\"],\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"suffixes\":[]}],\"bibsource\":\"dblp computer science bibliography, http://dblp.org\",\"biburl\":\"http://dblp.uni-trier.de/rec/bib/conf/allerton/ShowkatbakhshTD16\",\"booktitle\":\"54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016, Monticello, IL, USA, September 27-30, 2016\",\"crossref\":\"DBLP:conf/allerton/2016\",\"doi\":\"10.1109/ALLERTON.2016.7852363\",\"file\":\":papers:mehrdad_allerton16.pdf\",\"pages\":\"1137–1141\",\"tags\":\"conf,IT,SecureCPS\",\"timestamp\":\"Fri, 17 Feb 2017 10:49:47 +0100\",\"title\":\"Secure system identification\",\"year\":\"2016\",\"bibtex\":\"@inproceedings{DBLP:conf/allerton/ShowkatbakhshTD16,\\n abstract = {This work is concerned with the identification of linear time-invariant systems in the presence of an adversarial agent that attacks sensor measurements. The attacker is omniscient and we impose no restrictions (statistical or otherwise) on how the adversary alters the sensor measurements. We work in a noisy scenario where, in addition to the attacks, the sensor measurements are also affected by additive noise. Given a bound on the number of attacked sensors, and under a certain observability condition, we show that we can still construct a model that is useful for stabilization. Furthermore, we show that this model is closely related to the original system.},\\n author = {Mehrdad Showkatbakhsh and\\nPaulo Tabuada and\\nSuhas N. Diggavi},\\n bibsource = {dblp computer science bibliography, http://dblp.org},\\n biburl = {http://dblp.uni-trier.de/rec/bib/conf/allerton/ShowkatbakhshTD16},\\n booktitle = {54th Annual Allerton Conference on Communication, Control, and Computing,\\nAllerton 2016, Monticello, IL, USA, September 27-30, 2016},\\n crossref = {DBLP:conf/allerton/2016},\\n doi = {10.1109/ALLERTON.2016.7852363},\\n file = {:papers:mehrdad_allerton16.pdf},\\n pages = {1137--1141},\\n tags = {conf,IT,SecureCPS},\\n timestamp = {Fri, 17 Feb 2017 10:49:47 +0100},\\n title = {Secure system identification},\\n type = {4},\\n year = {2016}\\n}\\n\\n\",\"author_short\":[\"Showkatbakhsh, M.\",\"Tabuada, P.\",\"Diggavi, S. N.\"],\"key\":\"DBLP:conf/allerton/ShowkatbakhshTD16\",\"id\":\"DBLP:conf/allerton/ShowkatbakhshTD16\",\"bibbaseid\":\"showkatbakhsh-tabuada-diggavi-securesystemidentification-2016\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"author\":[{\"firstnames\":[\"Mehrdad\"],\"propositions\":[],\"lastnames\":[\"Showkatbakhsh\"],\"suffixes\":[]},{\"firstnames\":[\"Paulo\"],\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"suffixes\":[]},{\"firstnames\":[\"Suhas\",\"N.\"],\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"suffixes\":[]}],\"bibsource\":\"dblp computer science bibliography, http://dblp.org\",\"biburl\":\"http://dblp.uni-trier.de/rec/bib/conf/cdc/ShowkatbakhshTD16\",\"booktitle\":\"55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016\",\"crossref\":\"DBLP:conf/cdc/2016\",\"doi\":\"10.1109/CDC.2016.7799376\",\"file\":\":papers:mehrdad_cdc16.pdf\",\"pages\":\"7177–7182\",\"tags\":\"conf,IT,SecureCPS\",\"timestamp\":\"Tue, 03 Jan 2017 15:16:45 +0100\",\"title\":\"System identification in the presence of adversarial outputs\",\"year\":\"2016\",\"bibtex\":\"@inproceedings{DBLP:conf/cdc/ShowkatbakhshTD16,\\n author = {Mehrdad Showkatbakhsh and\\nPaulo Tabuada and\\nSuhas N. Diggavi},\\n bibsource = {dblp computer science bibliography, http://dblp.org},\\n biburl = {http://dblp.uni-trier.de/rec/bib/conf/cdc/ShowkatbakhshTD16},\\n booktitle = {55th {IEEE} Conference on Decision and Control, CDC 2016, Las Vegas,\\nNV, USA, December 12-14, 2016},\\n crossref = {DBLP:conf/cdc/2016},\\n doi = {10.1109/CDC.2016.7799376},\\n file = {:papers:mehrdad_cdc16.pdf},\\n pages = {7177--7182},\\n tags = {conf,IT,SecureCPS},\\n timestamp = {Tue, 03 Jan 2017 15:16:45 +0100},\\n title = {System identification in the presence of adversarial outputs},\\n type = {4},\\n year = {2016}\\n}\\n\\n\",\"author_short\":[\"Showkatbakhsh, M.\",\"Tabuada, P.\",\"Diggavi, S. N.\"],\"key\":\"DBLP:conf/cdc/ShowkatbakhshTD16\",\"id\":\"DBLP:conf/cdc/ShowkatbakhshTD16\",\"bibbaseid\":\"showkatbakhsh-tabuada-diggavi-systemidentificationinthepresenceofadversarialoutputs-2016\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"3\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"Suhas\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"Paulo\"],\"suffixes\":[]}],\"doi\":\"10.1002/9781119593386.ch15\",\"journal\":\"Modeling and Design of Secure Internet of Things\",\"pages\":\"357–369\",\"publisher\":\"Wiley Online Library\",\"tags\":\"BookChap,CPS\",\"title\":\"A Coding Theoretic View of Secure State Reconstruction\",\"year\":\"2020\",\"bibtex\":\"@article{diggavi2020coding,\\n author = {Diggavi, Suhas and Tabuada, Paulo},\\n doi = {10.1002/9781119593386.ch15},\\n journal = {Modeling and Design of Secure Internet of Things},\\n pages = {357--369},\\n publisher = {Wiley Online Library},\\n tags = {BookChap,CPS},\\n title = {A Coding Theoretic View of Secure State Reconstruction},\\n type = {3},\\n year = {2020}\\n}\\n\\n\",\"author_short\":[\"Diggavi, S.\",\"Tabuada, P.\"],\"key\":\"diggavi2020coding\",\"id\":\"diggavi2020coding\",\"bibbaseid\":\"diggavi-tabuada-acodingtheoreticviewofsecurestatereconstruction-2020\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"2\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Mishra\"],\"firstnames\":[\"Shaunak\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Shoukry\"],\"firstnames\":[\"Yasser\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Karamchandani\"],\"firstnames\":[\"Nikhil\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"Suhas\",\"N\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"Paulo\"],\"suffixes\":[]}],\"file\":\":papers:mishra_secure.pdf\",\"journal\":\"IEEE Transactions on Control of Network Systems\",\"number\":\"1\",\"pages\":\"49–59\",\"publisher\":\"IEEE\",\"tags\":\"journal,IT,SecureCPS\",\"title\":\"Secure state estimation against sensor attacks in the presence of noise\",\"volume\":\"4\",\"year\":\"2017\",\"bibtex\":\"@article{mishra2017secure,\\n author = {Mishra, Shaunak and Shoukry, Yasser and Karamchandani, Nikhil and Diggavi, Suhas N and Tabuada, Paulo},\\n file = {:papers:mishra_secure.pdf},\\n journal = {IEEE Transactions on Control of Network Systems},\\n number = {1},\\n pages = {49--59},\\n publisher = {IEEE},\\n tags = {journal,IT,SecureCPS},\\n title = {Secure state estimation against sensor attacks in the presence of noise},\\n type = {2},\\n volume = {4},\\n year = {2017}\\n}\\n\\n\",\"author_short\":[\"Mishra, S.\",\"Shoukry, Y.\",\"Karamchandani, N.\",\"Diggavi, S. N\",\"Tabuada, P.\"],\"key\":\"mishra2017secure\",\"id\":\"mishra2017secure\",\"bibbaseid\":\"mishra-shoukry-karamchandani-diggavi-tabuada-securestateestimationagainstsensorattacksinthepresenceofnoise-2017\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Shoukry\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Martin\"],\"firstnames\":[\"P.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Yona\"],\"firstnames\":[\"Y.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"S.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Srivastava\"],\"firstnames\":[\"M.\"],\"suffixes\":[]}],\"booktitle\":\"The 22nd ACM Conference on Computer and Communications Security (CCS 2015)\",\"file\":\":papers:pycra.pdf\",\"month\":\"October\",\"pages\":\"1004-1015\",\"tags\":\"conf,IT,SecureCPS,Hardware\",\"title\":\"PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks\",\"year\":\"2015\",\"bibtex\":\"@inproceedings{PyCRA,\\n author = {Shoukry, Y. and Martin, P. and Yona, Y. and Diggavi, S. and Srivastava, M.},\\n booktitle = {The 22nd ACM Conference on Computer and Communications Security (CCS 2015)},\\n file = {:papers:pycra.pdf},\\n month = {October},\\n pages = {1004-1015},\\n tags = {conf,IT,SecureCPS,Hardware},\\n title = {PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks},\\n type = {4},\\n year = {2015}\\n}\\n\\n\",\"author_short\":[\"Shoukry, Y.\",\"Martin, P.\",\"Yona, Y.\",\"Diggavi, S.\",\"Srivastava, M.\"],\"key\":\"PyCRA\",\"id\":\"PyCRA\",\"bibbaseid\":\"shoukry-martin-yona-diggavi-srivastava-pycraphysicalchallengeresponseauthenticationforactivesensorsunderspoofingattacks-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Showkatbakhsh\"],\"firstnames\":[\"Mehrdad\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Shoukry\"],\"firstnames\":[\"Yasser\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Chen\"],\"firstnames\":[\"Robert\",\"H\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"Suhas\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"Paulo\"],\"suffixes\":[]}],\"booktitle\":\"2017 IEEE 56th Annual Conference on Decision and Control (CDC)\",\"organization\":\"IEEE\",\"pages\":\"157–162\",\"tags\":\"conf,CPS\",\"title\":\"An SMT-based approach to secure state estimation under sensor and actuator attacks\",\"year\":\"2017\",\"bibtex\":\"@inproceedings{showkatbakhsh2017smt,\\n author = {Showkatbakhsh, Mehrdad and Shoukry, Yasser and Chen, Robert H and Diggavi, Suhas and Tabuada, Paulo},\\n booktitle = {2017 IEEE 56th Annual Conference on Decision and Control (CDC)},\\n organization = {IEEE},\\n pages = {157--162},\\n tags = {conf,CPS},\\n title = {An SMT-based approach to secure state estimation under sensor and actuator attacks},\\n type = {4},\\n year = {2017}\\n}\\n\\n\",\"author_short\":[\"Showkatbakhsh, M.\",\"Shoukry, Y.\",\"Chen, R. H\",\"Diggavi, S.\",\"Tabuada, P.\"],\"key\":\"showkatbakhsh2017smt\",\"id\":\"showkatbakhsh2017smt\",\"bibbaseid\":\"showkatbakhsh-shoukry-chen-diggavi-tabuada-ansmtbasedapproachtosecurestateestimationundersensorandactuatorattacks-2017\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"2\",\"abstract\":\"This paper discusses the problem of reconstructing the state of a linear time invariant system when some of its actuators and sensors are compromised by an adversarial agent. In the model considered in this paper, the adversarial agent attacks an input (output) by manipulating its value arbitrarily, i.e., we impose no constraints (statistical or otherwise) on how control commands (sensor measurements) are changed by the adversary other than a bound on the number of attacked actuators and sensors In the first part of this paper, we introduce the notion of sparse strong observability and we show that is a necessary and sufficient condition for correctly reconstructing the state despite the considered attacks. In the second half of this work, we propose an observer to harness the complexity of this intrinsically combinatorial problem, by leveraging satisfiability modulo theory solving. Numerical simulations illustrate the effectiveness and scalability of our observer.\",\"author\":[{\"firstnames\":[\"Mehrdad\"],\"propositions\":[],\"lastnames\":[\"Showkatbakhsh\"],\"suffixes\":[]},{\"firstnames\":[\"Yasser\"],\"propositions\":[],\"lastnames\":[\"Shoukry\"],\"suffixes\":[]},{\"firstnames\":[\"Suhas\",\"N.\"],\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"suffixes\":[]},{\"firstnames\":[\"Paulo\"],\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"suffixes\":[]}],\"doi\":\"https://doi.org/10.1016/j.automatica.2020.108920\",\"issn\":\"0005-1098\",\"journal\":\"Automatica\",\"keywords\":\"Cyber–physical security, State reconstruction, Security monitoring\",\"pages\":\"108920\",\"tags\":\"journal,CPS\",\"title\":\"Securing state reconstruction under sensor and actuator attacks: Theory and design\",\"url_link\":\"http://www.sciencedirect.com/science/article/pii/S0005109820301187\",\"volume\":\"116\",\"year\":\"2020\",\"bibtex\":\"@article{SHOWKATBAKHSH2020108920,\\n abstract = {This paper discusses the problem of reconstructing the state of a linear time invariant system when some of its actuators and sensors are compromised by an adversarial agent. In the model considered in this paper, the adversarial agent attacks an input (output) by manipulating its value arbitrarily, i.e., we impose no constraints (statistical or otherwise) on how control commands (sensor measurements) are changed by the adversary other than a bound on the number of attacked actuators and sensors In the first part of this paper, we introduce the notion of sparse strong observability and we show that is a necessary and sufficient condition for correctly reconstructing the state despite the considered attacks. In the second half of this work, we propose an observer to harness the complexity of this intrinsically combinatorial problem, by leveraging satisfiability modulo theory solving. Numerical simulations illustrate the effectiveness and scalability of our observer.},\\n author = {Mehrdad Showkatbakhsh and Yasser Shoukry and Suhas N. Diggavi and Paulo Tabuada},\\n doi = {https://doi.org/10.1016/j.automatica.2020.108920},\\n issn = {0005-1098},\\n journal = {Automatica},\\n keywords = {Cyber–physical security, State reconstruction, Security monitoring},\\n pages = {108920},\\n tags = {journal,CPS},\\n title = {Securing state reconstruction under sensor and actuator attacks: Theory and design},\\n type = {2},\\n url_link = {http://www.sciencedirect.com/science/article/pii/S0005109820301187},\\n volume = {116},\\n year = {2020}\\n}\\n\\n\",\"author_short\":[\"Showkatbakhsh, M.\",\"Shoukry, Y.\",\"Diggavi, S. N.\",\"Tabuada, P.\"],\"key\":\"SHOWKATBAKHSH2020108920\",\"id\":\"SHOWKATBAKHSH2020108920\",\"bibbaseid\":\"showkatbakhsh-shoukry-diggavi-tabuada-securingstatereconstructionundersensorandactuatorattackstheoryanddesign-2020\",\"role\":\"author\",\"urls\":{\" link\":\"http://www.sciencedirect.com/science/article/pii/S0005109820301187\"},\"keyword\":[\"Cyber–physical security\",\"State reconstruction\",\"Security monitoring\"],\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"abstract\":\"The vision of an Internet-of-Things calls for combining the increasing connectivity of devices at the edge with the ability to compute either at the edge or on more powerful servers in the network. There is great interest in exploring the feasibility of these ideas when devices such as quadcopters or ground robots at the edge are controlled over the cloud, i.e., by leveraging computational power available elsewhere in the network. One of the main difficulties, especially in the context of the Internet-of-Battlefield- Things is the need to keep the data private. In this paper we propose a solution to this problem by extending previous results by the authors from a single system controlled over the cloud to networks of systems that are controlled and coordinated over the cloud. We propose a noncryptographic lightweight encoding scheme that ensures the privacy of the data exchanged by all the participating parties.\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Sultangazin\"],\"firstnames\":[\"Alimzhan\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"Suhas\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tabuada\"],\"firstnames\":[\"Paulo\"],\"suffixes\":[]}],\"booktitle\":\"2018 27th International Conference on Computer Communication and Networks (ICCCN)\",\"organization\":\"IEEE\",\"pages\":\"1–7\",\"tags\":\"conf,CPS\",\"title\":\"Protecting the privacy of networked multi-agent systems controlled over the cloud\",\"doi\":\"10.1109/ICCCN.2018.8487355\",\"year\":\"2018\",\"bibtex\":\"@inproceedings{sultangazin2018protecting,\\n abstract = {The vision of an Internet-of-Things calls for combining the increasing connectivity of devices at the edge with the ability to compute either at the edge or on more powerful servers in the network. There is great interest in exploring the feasibility of these ideas when devices such as quadcopters or ground robots at the edge are controlled over the cloud, i.e., by leveraging computational power available elsewhere in the network. One of the main difficulties, especially in the context of the Internet-of-Battlefield- Things is the need to keep the data private. In this paper we propose a solution to this problem by extending previous results by the authors from a single system controlled over the cloud to networks of systems that are controlled and coordinated over the cloud. We propose a noncryptographic lightweight encoding scheme that ensures the privacy of the data exchanged by all the participating parties.},\\n author = {Sultangazin, Alimzhan and Diggavi, Suhas and Tabuada, Paulo},\\n booktitle = {2018 27th International Conference on Computer Communication and Networks (ICCCN)},\\n organization = {IEEE},\\n pages = {1--7},\\n tags = {conf,CPS},\\n title = {Protecting the privacy of networked multi-agent systems controlled over the cloud},\\n type = {4},\\n doi = {10.1109/ICCCN.2018.8487355},\\n year = {2018}\\n}\\n\\n\",\"author_short\":[\"Sultangazin, A.\",\"Diggavi, S.\",\"Tabuada, P.\"],\"key\":\"sultangazin2018protecting\",\"id\":\"sultangazin2018protecting\",\"bibbaseid\":\"sultangazin-diggavi-tabuada-protectingtheprivacyofnetworkedmultiagentsystemscontrolledoverthecloud-2018\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"4\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Tsai\"],\"firstnames\":[\"Chi-Yo\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Agarwal\"],\"firstnames\":[\"Gaurav\",\"Kumar\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Fragouli\"],\"firstnames\":[\"Christina\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Diggavi\"],\"firstnames\":[\"Suhas\"],\"suffixes\":[]}],\"booktitle\":\"2017 IEEE international symposium on information theory (ISIT)\",\"organization\":\"IEEE\",\"pages\":\"1913–1917\",\"tags\":\"conf,CPS\",\"title\":\"A distortion based approach for protecting inferences\",\"year\":\"2017\",\"bibtex\":\"@inproceedings{tsai2017distortion,\\n author = {Tsai, Chi-Yo and Agarwal, Gaurav Kumar and Fragouli, Christina and Diggavi, Suhas},\\n booktitle = {2017 IEEE international symposium on information theory (ISIT)},\\n organization = {IEEE},\\n pages = {1913--1917},\\n tags = {conf,CPS},\\n title = {A distortion based approach for protecting inferences},\\n type = {4},\\n year = {2017}\\n}\\n\\n\",\"author_short\":[\"Tsai, C.\",\"Agarwal, G. K.\",\"Fragouli, C.\",\"Diggavi, S.\"],\"key\":\"tsai2017distortion\",\"id\":\"tsai2017distortion\",\"bibbaseid\":\"tsai-agarwal-fragouli-diggavi-adistortionbasedapproachforprotectinginferences-2017\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{}},\"html\":\"\"}],\n      metadata: {\"authorlinks\":{}},\n      ownerID: undefined\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"publicactions_v1.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7NjEyMDE4NywKIGFic3RyYWN0ID0ge1dlIGNvbnNpZGVyIHRoZSBwcm9ibGVtIG9mIHN0YXRlLWVzdGltYXRpb24gb2YgYSBsaW5lYXIgZHluYW1pY2FsIHN5c3RlbSB3aGVuIHNvbWUgb2YgdGhlIHNlbnNvciBtZWFzdXJlbWVudHMgYXJlIGNvcnJ1cHRlZCBieSBhbiBhZHZlcnNhcmlhbCBhdHRhY2tlci4gVGhlIGVycm9ycyBpbmplY3RlZCBieSB0aGUgYXR0YWNrZXIgaW4gdGhlIHNlbnNvciBtZWFzdXJlbWVudHMgY2FuIGJlIGFyYml0cmFyeSBhbmQgYXJlIG5vdCBhc3N1bWVkIHRvIGZvbGxvdyBhIHNwZWNpZmljIG1vZGVsIChpbiBwYXJ0aWN1bGFyIHRoZXkgY2FuIGJlIG9mIGFyYml0cmFyeSBtYWduaXR1ZGUpLiBXZSBmaXJzdCBjaGFyYWN0ZXJpemUgdGhlIG51bWJlciBvZiBhdHRhY2tlZCBzZW5zb3JzIHRoYXQgY2FuIGJlIHRvbGVyYXRlZCBzbyB0aGF0IHRoZSBzdGF0ZSBvZiB0aGUgc3lzdGVtIGNhbiBzdGlsbCBiZSBjb3JyZWN0bHkgcmVjb3ZlcmVkIGJ5IGFueSBkZWNvZGluZyBhbGdvcml0aG0uIFdlIHRoZW4gcHJvcG9zZSBhIHNwZWNpZmljIGNvbXB1dGF0aW9uYWxseSBmZWFzaWJsZSBkZWNvZGluZyBhbGdvcml0aG0gYW5kIHdlIGdpdmUgYSBjaGFyYWN0ZXJpemF0aW9uIG9mIHRoZSBudW1iZXIgb2YgZXJyb3JzIHRoaXMgZGVjb2RlciBjYW4gY29ycmVjdC4gRm9yIHRoaXMgd2UgdXNlIGlkZWFzIGZyb20gY29tcHJlc3NlZCBzZW5zaW5nIGFuZCBlcnJvciBjb3JyZWN0aW9uIG92ZXIgdGhlIHJlYWxzIGFuZCB3ZSBleHBsb2l0IHRoZSBkeW5hbWljYWwgbmF0dXJlIG9mIHRoZSBwcm9ibGVtLiBXZSBzaG93IHVzaW5nIG51bWVyaWNhbCBzaW11bGF0aW9ucyB0aGF0IHRoaXMgZGVjb2RlciBwZXJmb3JtcyB2ZXJ5IHdlbGwgaW4gcHJhY3RpY2UgYW5kIGFsbG93cyB0byBjb3JyZWN0IGEgbGFyZ2UgbnVtYmVyIG9mIGVycm9ycy59LAogYXV0aG9yID0ge0Zhd3ppLCBILiBhbmQgVGFidWFkYSwgUC4gYW5kIERpZ2dhdmksIFMufSwKIGJvb2t0aXRsZSA9IHtDb21tdW5pY2F0aW9uLCBDb250cm9sLCBhbmQgQ29tcHV0aW5nIChBbGxlcnRvbiksIDIwMTEgNDl0aCBBbm51YWwgQWxsZXJ0b24gQ29uZmVyZW5jZSBvbn0sCiBkb2kgPSB7MTAuMTEwOS9BbGxlcnRvbi4yMDExLjYxMjAxODd9LAogZmlsZSA9IHs6cGFwZXJzOnNlY3VyZV9zdGF0ZV9lc3RpbWF0ZS5wZGZ9LAogbW9udGggPSB7U2VwdH0sCiBwYWdlcyA9IHszMzctMzQ0fSwKIHRhZ3MgPSB7Y29uZixTZWN1cmVDUFN9LAogdGl0bGUgPSB7U2VjdXJlIHN0YXRlLWVzdGltYXRpb24gZm9yIGR5bmFtaWNhbCBzeXN0ZW1zIHVuZGVyIGFjdGl2ZSBhZHZlcnNhcmllc30sCiB0eXBlID0gezR9LAogeWVhciA9IHsyMDExfQp9CgoKCkBpbnByb2NlZWRpbmdzezY0MjY4MTEsCiBhYnN0cmFjdCA9IHtXZSBjb25zaWRlciB0aGUgcHJvYmxlbSBvZiBlc3RpbWF0aW9uIGFuZCBjb250cm9sIG9mIGEgbGluZWFyIHN5c3RlbSB3aGVuIHNvbWUgb2YgdGhlIHNlbnNvcnMgb3IgYWN0dWF0b3JzIGFyZSBhdHRhY2tlZCBieSBhIG1hbGljaW91cyBhZ2VudC4gSW4gb3VyIHByZXZpb3VzIHdvcmsgWzFdIHdlIHN0dWRpZWQgc3lzdGVtcyB3aXRoIG5vIGNvbnRyb2wgaW5wdXRzIGFuZCB3ZSBmb3JtdWxhdGVkIHRoZSBlc3RpbWF0aW9uIHByb2JsZW0gYXMgYSBkeW5hbWljIGVycm9yIGNvcnJlY3Rpb24gcHJvYmxlbSB3aXRoIHNwYXJzZSBhdHRhY2sgdmVjdG9ycy4gSW4gdGhpcyBwYXBlciB3ZSBleHRlbmQgb3VyIHN0dWR5IGFuZCBsb29rIGF0IHRoZSByb2xlIG9mIGlucHV0cyBhbmQgY29udHJvbC4gV2UgZmlyc3Qgc2hvdyB0aGF0IGl0IGlzIHBvc3NpYmxlIHRvIGluY3JlYXNlIHRoZSByZXNpbGllbmNlIG9mIHRoZSBzeXN0ZW0gdG8gYXR0YWNrcyBieSBjaGFuZ2luZyB0aGUgZHluYW1pY3Mgb2YgdGhlIHN5c3RlbSB1c2luZyBzdGF0ZS1mZWVkYmFjayB3aGlsZSBoYXZpbmcgKGFsbW9zdCkgdG90YWwgZnJlZWRvbSBpbiBwbGFjaW5nIHRoZSBuZXcgcG9sZXMgb2YgdGhlIHN5c3RlbS4gV2UgdGhlbiBsb29rIGF0IHRoZSBwcm9ibGVtIG9mIHN0YWJpbGl6aW5nIGEgcGxhbnQgdXNpbmcgb3V0cHV0LWZlZWRiYWNrIGRlc3BpdGUgYXR0YWNrcyBvbiBzZW5zb3JzLCBhbmQgd2Ugc2hvdyB0aGF0IGEgcHJpbmNpcGxlIG9mIHNlcGFyYXRpb24gb2YgZXN0aW1hdGlvbiBhbmQgY29udHJvbCBob2xkcy4gRmluYWxseSB3ZSBsb29rIGF0IHRoZSBlZmZlY3Qgb2YgYXR0YWNrcyBvbiBhY3R1YXRvcnMgaW4gYWRkaXRpb24gdG8gYXR0YWNrcyBvbiBzZW5zb3JzOiB3ZSBjaGFyYWN0ZXJpemUgdGhlIHJlc2lsaWVuY2Ugb2YgdGhlIHN5c3RlbSB3aXRoIHJlc3BlY3QgdG8gYWN0dWF0b3IgYW5kIHNlbnNvciBhdHRhY2tzIGFuZCB3ZSBmb3JtdWxhdGUgYW4gZWZmaWNpZW50IG9wdGltaXphdGlvbi1iYXNlZCBkZWNvZGVyIHRvIGVzdGltYXRlIHRoZSBzdGF0ZSBvZiB0aGUgc3lzdGVtIGRlc3BpdGUgYXR0YWNrcyBvbiBhY3R1YXRvcnMgYW5kIHNlbnNvcnMufSwKIGF1dGhvciA9IHtGYXd6aSwgSC4gYW5kIFRhYnVhZGEsIFAuIGFuZCBEaWdnYXZpLCBTLn0sCiBib29rdGl0bGUgPSB7RGVjaXNpb24gYW5kIENvbnRyb2wgKENEQyksIDIwMTIgSUVFRSA1MXN0IEFubnVhbCBDb25mZXJlbmNlIG9ufSwKIGRvaSA9IHsxMC4xMTA5L0NEQy4yMDEyLjY0MjY4MTF9LAogZmlsZSA9IHs6cGFwZXJzOnNlY3VyaXR5X2NkYy5wZGZ9LAogaXNzbiA9IHswNzQzLTE1NDZ9LAogbW9udGggPSB7RGVjfSwKIHBhZ2VzID0gezM0MTItMzQxN30sCiB0YWdzID0ge2NvbmYsU2VjdXJlQ1BTfSwKIHRpdGxlID0ge1NlY3VyaXR5IGZvciBjb250cm9sIHN5c3RlbXMgdW5kZXIgc2Vuc29yIGFuZCBhY3R1YXRvciBhdHRhY2tzfSwKIHR5cGUgPSB7NH0sCiB5ZWFyID0gezIwMTJ9Cn0KCgoKQGFydGljbGV7NjcyNzQwNywKIGFic3RyYWN0ID0ge1RoZSB2YXN0IG1ham9yaXR5IG9mIHRvZGF5J3MgY3JpdGljYWwgaW5mcmFzdHJ1Y3R1cmUgaXMgc3VwcG9ydGVkIGJ5IG51bWVyb3VzIGZlZWRiYWNrIGNvbnRyb2wgbG9vcHMgYW5kIGFuIGF0dGFjayBvbiB0aGVzZSBjb250cm9sIGxvb3BzIGNhbiBoYXZlIGRpc2FzdHJvdXMgY29uc2VxdWVuY2VzLiBUaGlzIGlzIGEgbWFqb3IgY29uY2VybiBzaW5jZSBtb2Rlcm4gY29udHJvbCBzeXN0ZW1zIGFyZSBiZWNvbWluZyBsYXJnZSBhbmQgZGVjZW50cmFsaXplZCBhbmQgdGh1cyBtb3JlIHZ1bG5lcmFibGUgdG8gYXR0YWNrcy4gVGhpcyBwYXBlciBpcyBjb25jZXJuZWQgd2l0aCB0aGUgZXN0aW1hdGlvbiBhbmQgY29udHJvbCBvZiBsaW5lYXIgc3lzdGVtcyB3aGVuIHNvbWUgb2YgdGhlIHNlbnNvcnMgb3IgYWN0dWF0b3JzIGFyZSBjb3JydXB0ZWQgYnkgYW4gYXR0YWNrZXIuIFdlIGdpdmUgYSBuZXcgc2ltcGxlIGNoYXJhY3Rlcml6YXRpb24gb2YgdGhlIG1heGltdW0gbnVtYmVyIG9mIGF0dGFja3MgdGhhdCBjYW4gYmUgZGV0ZWN0ZWQgYW5kIGNvcnJlY3RlZCBhcyBhIGZ1bmN0aW9uIG9mIHRoZSBwYWlyIChBLEMpIG9mIHRoZSBzeXN0ZW0gYW5kIHdlIHNob3cgaW4gcGFydGljdWxhciB0aGF0IGl0IGlzIGltcG9zc2libGUgdG8gYWNjdXJhdGVseSByZWNvbnN0cnVjdCB0aGUgc3RhdGUgb2YgYSBzeXN0ZW0gaWYgbW9yZSB0aGFuIGhhbGYgdGhlIHNlbnNvcnMgYXJlIGF0dGFja2VkLiBJbiBhZGRpdGlvbiwgd2Ugc2hvdyBob3cgdGhlIGRlc2lnbiBvZiBhIHNlY3VyZSBsb2NhbCBjb250cm9sIGxvb3AgY2FuIGltcHJvdmUgdGhlIHJlc2lsaWVuY2Ugb2YgdGhlIHN5c3RlbS4gV2hlbiB0aGUgbnVtYmVyIG9mIGF0dGFja3MgaXMgc21hbGxlciB0aGFuIGEgdGhyZXNob2xkLCB3ZSBwcm9wb3NlIGFuIGVmZmljaWVudCBhbGdvcml0aG0gaW5zcGlyZWQgZnJvbSB0ZWNobmlxdWVzIGluIGNvbXByZXNzZWQgc2Vuc2luZyB0byBlc3RpbWF0ZSB0aGUgc3RhdGUgb2YgdGhlIHBsYW50IGRlc3BpdGUgYXR0YWNrcy4gV2UgZ2l2ZSBhIHRoZW9yZXRpY2FsIGNoYXJhY3Rlcml6YXRpb24gb2YgdGhlIHBlcmZvcm1hbmNlIG9mIHRoaXMgYWxnb3JpdGhtIGFuZCB3ZSBzaG93IG9uIG51bWVyaWNhbCBzaW11bGF0aW9ucyB0aGF0IHRoZSBtZXRob2QgaXMgcHJvbWlzaW5nIGFuZCBhbGxvd3MgdG8gcmVjb25zdHJ1Y3QgdGhlIHN0YXRlIGFjY3VyYXRlbHkgZGVzcGl0ZSBhdHRhY2tzLiBGaW5hbGx5LCB3ZSBjb25zaWRlciB0aGUgcHJvYmxlbSBvZiBkZXNpZ25pbmcgb3V0cHV0LWZlZWRiYWNrIGNvbnRyb2xsZXJzIHRoYXQgc3RhYmlsaXplIHRoZSBzeXN0ZW0gZGVzcGl0ZSBzZW5zb3IgYXR0YWNrcy4gV2Ugc2hvdyB0aGF0IGEgcHJpbmNpcGxlIG9mIHNlcGFyYXRpb24gYmV0d2VlbiBlc3RpbWF0aW9uIGFuZCBjb250cm9sIGhvbGRzIGFuZCB0aGF0IHRoZSBkZXNpZ24gb2YgcmVzaWxpZW50IG91dHB1dCBmZWVkYmFjayBjb250cm9sbGVycyBjYW4gYmUgcmVkdWNlZCB0byB0aGUgZGVzaWduIG9mIHJlc2lsaWVudCBzdGF0ZSBlc3RpbWF0b3JzLn0sCiBhdXRob3IgPSB7RmF3emksIEguIGFuZCBUYWJ1YWRhLCBQLiBhbmQgRGlnZ2F2aSwgUy59LAogZG9pID0gezEwLjExMDkvVEFDLjIwMTQuMjMwMzIzM30sCiBpc3NuID0gezAwMTgtOTI4Nn0sCiBqb3VybmFsID0ge0F1dG9tYXRpYyBDb250cm9sLCBJRUVFIFRyYW5zYWN0aW9ucyBvbn0sCiBtb250aCA9IHtKdW5lfSwKIG51bWJlciA9IHs2fSwKIHBhZ2VzID0gezE0NTQtMTQ2N30sCiB0YWdzID0ge2pvdXJuYWwsU2VjdXJlQ1BTfSwKIHRpdGxlID0ge1NlY3VyZSBFc3RpbWF0aW9uIGFuZCBDb250cm9sIGZvciBDeWJlci1QaHlzaWNhbCBTeXN0ZW1zIFVuZGVyIEFkdmVyc2FyaWFsIEF0dGFja3N9LAogdHlwZSA9IHsyfSwKIHVybF9hcnhpdiA9IHtodHRwOi8vYXJ4aXYub3JnL2Ficy8xMjA1LjUwNzN9LAogdm9sdW1lID0gezU5fSwKIHllYXIgPSB7MjAxNH0KfQoKCgpAaW5wcm9jZWVkaW5nc3s3MjgyOTkzLAogYXV0aG9yID0ge01pc2hyYSwgUy4gYW5kIFNob3VrcnksIFkuIGFuZCBLYXJhbWNoYW5kYW5pLCBOLiBhbmQgRGlnZ2F2aSwgUy4gYW5kIFRhYnVhZGEsIFAufSwKIGJvb2t0aXRsZSA9IHtJbmZvcm1hdGlvbiBUaGVvcnkgKElTSVQpLCAyMDE1IElFRUUgSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb259LAogZmlsZSA9IHs6cGFwZXJzOnNzZV9tc2tkdC5wZGZ9LAogbW9udGggPSB7SnVuZX0sCiBwYWdlcyA9IHsyOTI5LTI5MzN9LAogdGFncyA9IHtjb25mLElULFNlY3VyZUNQU30sCiB0aXRsZSA9IHtTZWN1cmUgc3RhdGUgZXN0aW1hdGlvbjogT3B0aW1hbCBndWFyYW50ZWVzIGFnYWluc3Qgc2Vuc29yIGF0dGFja3MgaW4gdGhlIHByZXNlbmNlIG9mIG5vaXNlfSwKIHR5cGUgPSB7NH0sCiB5ZWFyID0gezIwMTV9Cn0KCgoKQGlucHJvY2VlZGluZ3N7ODQ0MzcyMCwKIGFic3RyYWN0ID0ge1dlIHN0dWR5IGEgY3Jvd2Rzb3VyY2luZyBhaWRlZCByb2FkIHRyYWZmaWMgZXN0aW1hdGlvbiBzZXR1cCwgd2hlcmUgYSBmcmFjdGlvbiBvZiB1c2VycyAodmVoaWNsZXMpIGFyZSBtYWxpY2lvdXMsIGFuZCByZXBvcnQgd3Jvbmcgc2Vuc29yeSBpbmZvcm1hdGlvbiwgb3IgZXZlbiB3b3JzZSwgcmVwb3J0IHRoZSBwcmVzZW5jZSBvZiBTeWJpbCAoZ2hvc3QpIHZlaGljbGVzIHRoYXQgZG8gbm90IHBoeXNpY2FsbHkgZXhpc3QuIFRoZSBtb3RpdmF0aW9uIGZvciBzdWNoIGF0dGFja3MgbGllcyBpbiB0aGUgcG9zc2liaWxpdHkgb2YgY3JlYXRpbmcgYSAidmlydHVhbCIgY29uZ2VzdGlvbiB0aGF0IGNhbiBpbmZsdWVuY2Ugcm91dGluZyBhbGdvcml0aG1zLCBsZWFkaW5nIHRvICJhY3R1YWwiIGNvbmdlc3Rpb24gYW5kIGNoYW9zLiBXZSBwcm9wb3NlIGEgU3liaWwgYXR0YWNrLXJlc2lsaWVudCB0cmFmZmljIGVzdGltYXRpb24gYW5kIHJvdXRpbmcgYWxnb3JpdGhtIHRoYXQgaXMgcmVzaWxpZW50IGFnYWluc3Qgc3VjaCBhdHRhY2tzLiBJbiBwYXJ0aWN1bGFyLCBvdXIgYWxnb3JpdGhtIGxldmVyYWdlcyBub2lzeSBpbmZvcm1hdGlvbiBmcm9tIGxlZ2FjeSBzZW5zaW5nIGluZnJhc3RydWN0dXJlLCBhbG9uZyB3aXRoIHRoZSBkeW5hbWljcyBhbmQgcHJveGltaXR5IGdyYXBoIG9mIHZlaGljbGVzIGluZmVycmVkIGZyb20gY3Jvd2Rzb3VyY2VkIGRhdGEuIEZ1cnRoZXJtb3JlLCB0aGUgc2NhbGFiaWxpdHkgb2Ygb3VyIGFsZ29yaXRobSBpcyBiYXNlZCBvbiBlZmZpY2llbnQgQm9vbGVhbiBTYXRpc2ZpYWJpbGl0eSAoU0FUKSBzb2x2ZXJzLiBXZSB2YWxpZGF0ZWQgb3VyIGFsZ29yaXRobSB1c2luZyByZWFsIHRyYWZmaWMgZGF0YSBmcm9tIHRoZSBJdGFsaWFuIGNpdHkgb2YgQm9sb2duYS4gT3VyIGFsZ29yaXRobSBsZWQgdG8gYSBzaWduaWZpY2FudCByZWR1Y3Rpb24gaW4gYXZlcmFnZSB0cmF2ZWwgdGltZSBpbiB0aGUgcHJlc2VuY2Ugb2YgU3liaWwgYXR0YWNrcywgaW5jbHVkaW5nIGNhc2VzIHdoZXJlIHRoZSB0cmF2ZWwgdGltZSB3YXMgcmVkdWNlZCBmcm9tIGFib3V0IGFuIGhvdXIgdG8gYSBmZXcgbWludXRlcy59LAogYXV0aG9yID0ge1kuIHtTaG91a3J5fSBhbmQgUy4ge01pc2hyYX0gYW5kIFouIHtMdW99IGFuZCBTLiB7RGlnZ2F2aX19LAogYm9va3RpdGxlID0gezIwMTggQUNNL0lFRUUgOXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDeWJlci1QaHlzaWNhbCBTeXN0ZW1zIChJQ0NQUyl9LAogZG9pID0gezEwLjExMDkvSUNDUFMuMjAxOC4wMDAxM30sCiBpc3NuID0ge30sCiBrZXl3b3JkcyA9IHtjb21wdXRhYmlsaXR5O2dyYXBoIHRoZW9yeTtyb2FkIHRyYWZmaWM7dGVsZWNvbW11bmljYXRpb24gbmV0d29yayByb3V0aW5nO3RlbGVjb21tdW5pY2F0aW9uIHNlY3VyaXR5O2Nyb3dkc291cmNlZCBkYXRhO3RyYWZmaWMgZGF0YTtTeWJpbCBhdHRhY2sgcmVzaWxpZW50IHRyYWZmaWMgbmV0d29ya3M7cGh5c2ljcy1iYXNlZCB0cnVzdCBwcm9wYWdhdGlvbiBhcHByb2FjaDtjcm93ZHNvdXJjaW5nIGFpZGVkIHJvYWQgdHJhZmZpYyBlc3RpbWF0aW9uIHNldHVwO1N5YmlsIHZlaGljbGVzO3ZpcnR1YWwgY29uZ2VzdGlvbjtyb3V0aW5nIGFsZ29yaXRobXM7Y2hhb3M7cm91dGluZyBhbGdvcml0aG07c2Vuc29yeSBpbmZvcm1hdGlvbjtub2lzeSBpbmZvcm1hdGlvbjtyZWFsIHRyYWZmaWMgZGF0YTtwcm94aW1pdHkgZ3JhcGg7QXV0b21vYmlsZXM7Um91dGluZztSb2FkcztIZXVyaXN0aWMgYWxnb3JpdGhtcztFc3RpbWF0aW9uO0ludGVsbGlnZW50IHNlbnNvcnM7U2VjdXJlIFNtYXJ0IHRyYW5zcG9ydGF0aW9uIHN5c3RlbXM7U3liaWwgYXR0YWNrcztyZXNpbGllbnQgcm91dGluZ30sCiBtb250aCA9IHtBcHJpbH0sCiBudW1iZXIgPSB7fSwKIHBhZ2VzID0gezQzLTU0fSwKIHRhZ3MgPSB7Y29uZixDUFN9LAogdGl0bGUgPSB7U3liaWwgQXR0YWNrIFJlc2lsaWVudCBUcmFmZmljIE5ldHdvcmtzOiBBIFBoeXNpY3MtQmFzZWQgVHJ1c3QgUHJvcGFnYXRpb24gQXBwcm9hY2h9LAogdHlwZSA9IHs0fSwKIHZvbHVtZSA9IHt9LAogeWVhciA9IHsyMDE4fQp9CgoKCkBhcnRpY2xlezkxMTIzMTAsCiBhYnN0cmFjdCA9IHtTZWN1cmUgc3RhdGUtcmVjb25zdHJ1Y3Rpb24gaXMgdGhlIHByb2JsZW0gb2YgcmVjb25zdHJ1Y3RpbmcgdGhlIHN0YXRlIG9mIGEgbGluZWFyIHRpbWUtaW52YXJpYW50IHN5c3RlbSBmcm9tIHNlbnNvciBtZWFzdXJlbWVudHMgdGhhdCBoYXZlIGJlZW4gY29ycnVwdGVkIGJ5IGFuIGFkdmVyc2FyeS4gV2hlcmVhcyBtb3N0IHdvcmsgZm9jdXNlcyBvbiBhdHRhY2tzIG9uIHNlbnNvcnMsIHdlIGNvbnNpZGVyIHRoZSBtb3JlIGNoYWxsZW5naW5nIGNhc2Ugd2hlcmUgYXR0YWNrcyBvY2N1ciBvbiBzZW5zb3JzIGFzIHdlbGwgYXMgb24gbm9kZXMgYW5kIGxpbmtzIG9mIGEgbmV0d29yayB0aGF0IHRyYW5zcG9ydHMgc2Vuc29yIG1lYXN1cmVtZW50cyB0byBhIHJlY2VpdmVyLiBJbiB0aGlzIGxldHRlciB3ZSBwcm92aWRlIG5lY2Vzc2FyeSBhbmQgc3VmZmljaWVudCBjb25kaXRpb25zIGZvciB0aGUgc2VjdXJlIHN0YXRlLXJlY29uc3RydWN0aW9uIHByb2JsZW0gdG8gYmUgc29sdmFibGUgaW4gdGhlIHByZXNlbmNlIG9mIGF0dGFja3Mgb24gc2Vuc29ycyBhbmQgb24gdGhlIG5ldHdvcmsufSwKIGF1dGhvciA9IHtZLiB7TWFvfSBhbmQgUy4ge0RpZ2dhdml9IGFuZCBDLiB7RnJhZ291bGl9IGFuZCBQLiB7VGFidWFkYX19LAogZG9pID0gezEwLjExMDkvTENTWVMuMjAyMC4zMDAwODUzfSwKIGlzc24gPSB7MjQ3NS0xNDU2fSwKIGpvdXJuYWwgPSB7SUVFRSBDb250cm9sIFN5c3RlbXMgTGV0dGVyc30sCiBrZXl3b3JkcyA9IHtjb250cm9sIHN5c3RlbSBzZWN1cml0eTtsaW5lYXIgc3lzdGVtcztzZWN1cmUgc3RhdGUtcmVjb25zdHJ1Y3Rpb247c2Vuc29yIG1lYXN1cmVtZW50cztsaW5lYXIgdGltZS1pbnZhcmlhbnQgc3lzdGVtO1JlY2VpdmVycztTZW5zb3JzO1JlbGF5IG5ldHdvcmtzICh0ZWxlY29tbXVuaWNhdGlvbnMpO09ic2VydmFiaWxpdHk7SW5kZXhlcztOZXR3b3JrIGNvZGluZztGYXVsdCB0b2xlcmFudCBzeXN0ZW1zO25ldHdvcmsgYW5hbHlzaXMgYW5kIGNvbnRyb2w7ZmF1bHQgZGV0ZWN0aW9ufSwKIG1vbnRoID0ge0phbn0sCiBudW1iZXIgPSB7MX0sCiBwYWdlcyA9IHsxNTctMTYyfSwKIHRhZ3MgPSB7am91cm5hbCxDUFN9LAogdGl0bGUgPSB7U2VjdXJlIFN0YXRlLVJlY29uc3RydWN0aW9uIE92ZXIgTmV0d29ya3MgU3ViamVjdCB0byBBdHRhY2tzfSwKIHR5cGUgPSB7Mn0sCiB2b2x1bWUgPSB7NX0sCiB5ZWFyID0gezIwMjF9Cn0KCgoKQGFydGljbGV7YWJkZWx6YWhlcjIwMTh0b3dhcmQsCiBhYnN0cmFjdCA9IHtUaGUgSW50ZXJuZXQgb2YgQmF0dGxlZmllbGQgVGhpbmdzIChJb0JUKSBtaWdodCBiZSBvbmUgb2YgdGhlIG1vc3QgZXhwZW5zaXZlIGN5YmVyLXBoeXNpY2FsIHN5c3RlbXMgb2YgdGhlIG5leHQgZGVjYWRlLCB5ZXQgbXVjaCByZXNlYXJjaCByZW1haW5zIHRvIGRldmVsb3AgaXRzIGZ1bmRhbWVudGFsIGVuYWJsZXJzLiBBIGNoYWxsZW5nZSB0aGF0IGRpc3Rpbmd1aXNoZXMgdGhlIElvQlQgZnJvbSBpdHMgY2l2aWxpYW4gY291bnRlcnBhcnRzIGlzIHJlc2lsaWVuY2UgdG8gYSBtdWNoIGxhcmdlciBzcGVjdHJ1bSBvZiB0aHJlYXRzLn0sCiBhdXRob3IgPSB7QWJkZWx6YWhlciwgVGFyZWsgYW5kIEF5YW5pYW4sIE5vcmEgYW5kIEJhc2FyLCBUYW1lciBhbmQgRGlnZ2F2aSwgU3VoYXMgYW5kIERpZXNuZXIsIEphbmEgYW5kIEdhbmVzYW4sIERlZXBhayBhbmQgR292aW5kYW4sIFJhbWVzaCBhbmQgSmhhLCBTdXNtaXQgYW5kIExlcG9pbnQsIFRhbmNyZWRlIGFuZCBNYXJsaW4sIEJlbmphbWluIGFuZCBvdGhlcnN9LAogam91cm5hbCA9IHtDb21wdXRlcn0sCiBudW1iZXIgPSB7MTF9LAogcGFnZXMgPSB7MjQtLTM2fSwKIHB1Ymxpc2hlciA9IHtJRUVFfSwKIHRhZ3MgPSB7am91cm5hbCxDUFMsRE1MfSwKIHRpdGxlID0ge1Rvd2FyZCBhbiBpbnRlcm5ldCBvZiBiYXR0bGVmaWVsZCB0aGluZ3M6IGEgcmVzaWxpZW5jZSBwZXJzcGVjdGl2ZX0sCiB0eXBlID0gezJ9LAogZG9pID0gezEwLjExMDkvTUMuMjAxOC4yODc2MDQ4fSwKIHZvbHVtZSA9IHs1MX0sCiB5ZWFyID0gezIwMTh9Cn0KCgoKQGlucHJvY2VlZGluZ3N7YWJkZWx6YWhlcjIwMTh3aWxsLAogYWJzdHJhY3QgPSB7QW4gdXBjb21pbmcgZnJvbnRpZXIgZm9yIGRpc3RyaWJ1dGVkIGNvbXB1dGluZyBtaWdodCBsaXRlcmFsbHkgc2F2ZSBsaXZlcyBpbiBmdXR1cmUgbWlsaXRhcnkgb3BlcmF0aW9ucy4gSW4gY2l2aWxpYW4gc2NlbmFyaW9zLCBzaWduaWZpY2FudCBlZmZpY2llbmNpZXMgd2VyZSBnYWluZWQgZnJvbSBpbnRlcmNvbm5lY3RpbmcgZGV2aWNlcyBpbnRvIG5ldHdvcmtlZCBzZXJ2aWNlcyBhbmQgYXBwbGljYXRpb25zIHRoYXQgYXV0b21hdGUgbXVjaCBvZiBldmVyeWRheSBsaWZlIGZyb20gc21hcnQgaG9tZXMgdG8gaW50ZWxsaWdlbnQgdHJhbnNwb3J0YXRpb24uIFRoZSBlY29zeXN0ZW0gb2Ygc3VjaCBhcHBsaWNhdGlvbnMgYW5kIHNlcnZpY2VzIGlzIGNvbGxlY3RpdmVseSBjYWxsZWQgdGhlIEludGVybmV0IG9mIFRoaW5ncyAoSW9UKS4gQ2FuIHNpbWlsYXIgYmVuZWZpdHMgYmUgZ2FpbmVkIGluIGEgbWlsaXRhcnkgY29udGV4dCBieSBkZXZlbG9waW5nIGFuIElvVCBmb3IgdGhlIGJhdHRsZWZpZWxkPyBUaGlzIHBhcGVyIGRlc2NyaWJlcyB1bmlxdWUgY2hhbGxlbmdlcyBpbiBzdWNoIGEgY29udGV4dCBhcyB3ZWxsIGFzIHBvdGVudGlhbCByaXNrcywgbWl0aWdhdGlvbiBzdHJhdGVnaWVzLCBhbmQgYmVuZWZpdHMufSwKIGF1dGhvciA9IHtBYmRlbHphaGVyLCBUYXJlayBhbmQgQXlhbmlhbiwgTm9yYSBhbmQgQmFzYXIsIFRhbWVyIGFuZCBEaWdnYXZpLCBTdWhhcyBhbmQgRGllc25lciwgSmFuYSBhbmQgR2FuZXNhbiwgRGVlcGFrIGFuZCBHb3ZpbmRhbiwgUmFtZXNoIGFuZCBKaGEsIFN1c21pdCBhbmQgTGVwb2ludCwgVGFuY3JlZGUgYW5kIE1hcmxpbiwgQmVuIGFuZCBvdGhlcnN9LAogYm9va3RpdGxlID0gezIwMTggSUVFRSAzOHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBEaXN0cmlidXRlZCBDb21wdXRpbmcgU3lzdGVtcyAoSUNEQ1MpfSwKIG9yZ2FuaXphdGlvbiA9IHtJRUVFfSwKIHBhZ2VzID0gezExMjktLTExMzh9LAogdGFncyA9IHtjb25mLENQUyxETUx9LAogdGl0bGUgPSB7V2lsbCBkaXN0cmlidXRlZCBjb21wdXRpbmcgcmV2b2x1dGlvbml6ZSBwZWFjZT8gdGhlIGVtZXJnZW5jZSBvZiBiYXR0bGVmaWVsZCBpb3R9LAogdHlwZSA9IHs0fSwKIGRvaSA9IHsxMC4xMTA5L0lDRENTLjIwMTguMDAxMTJ9LAogeWVhciA9IHsyMDE4fQp9CgoKCkBpbnByb2NlZWRpbmdze2FnYXJ3YWwyMDE4ZGlzdG9ydGluZywKIGFic3RyYWN0ID0ge0luIEN5YmVyLSBQaHlzaWNhbCBTeXN0ZW1zIChDUFNzKSwgaW5mZXJlbmNlIGJhc2VkIG9uIGNvbW11bmljYXRlZCBkYXRhIGlzIG9mIGNyaXRpY2FsIHNpZ25pZmljYW5jZSBhcyBpdCBjYW4gYmUgdXNlZCB0byBtYW5pcHVsYXRlIG9yIGRhbWFnZSB0aGUgY29udHJvbCBvcGVyYXRpb25zIGJ5IGFkdmVyc2FyaWVzLiBUaGlzIGNhbGxzIGZvciBlZmZpY2llbnQgbWVjaGFuaXNtcyBmb3Igc2VjdXJlIHRyYW5zbWlzc2lvbiBvZiBkYXRhIHNpbmNlIGNvbnRyb2wgc3lzdGVtcyBhcmUgYmVjb21pbmcgaW5jcmVhc2luZ2x5IGRpc3RyaWJ1dGVkIG92ZXIgbGFyZ2VyIGdlb2dyYXBoaWNhbCBhcmVhcy4gRGlzdG9ydGlvbiBiYXNlZCBzZWN1cml0eSwgcmVjZW50bHkgcHJvcG9zZWQgYXMgb25lIGNhbmRpZGF0ZSBmb3IgQ1BTcyBzZWN1cml0eSwgaXMgbm90IG9ubHkgbW9yZSBhcHByb3ByaWF0ZSBmb3IgdGhlc2UgYXBwbGljYXRpb25zIGJ1dCBhbHNvIHF1aXRlIGZydWdhbCBpbiB0ZXJtcyBvZiBwcmlvciByZXF1aXJlbWVudHMgb24gc2hhcmVkIGtleXMuIEluIHRoaXMgcGFwZXIsIHdlIHByb3Bvc2UgZGlzdG9ydGlvbi1iYXNlZCBtZXRyaWNzIHRvIHByb3RlY3QgQ1BTcyBjb21tdW5pY2F0aW9uIGFuZCBzaG93IHRoYXQgaXQgaXMgcG9zc2libGUgdG8gY29uZnVzZSBhZHZlcnNhcmllcyB3aXRoIGp1c3QgYSBmZXcgYml0cyBvZiBwcmUtc2hhcmVkIGtleXMufSwKIGF1dGhvciA9IHtBZ2Fyd2FsLCBHYXVyYXYgS3VtYXIgYW5kIEthcm1vb3NlLCBNb2hhbW1lZCBhbmQgRGlnZ2F2aSwgU3VoYXMgYW5kIEZyYWdvdWxpLCBDaHJpc3RpbmEgYW5kIFRhYnVhZGEsIFBhdWxvfSwKIGJvb2t0aXRsZSA9IHsyMDE4IElFRUUgQ29uZmVyZW5jZSBvbiBEZWNpc2lvbiBhbmQgQ29udHJvbCAoQ0RDKX0sCiBvcmdhbml6YXRpb24gPSB7SUVFRX0sCiBwYWdlcyA9IHsxNDc2LS0xNDgxfSwKIHRhZ3MgPSB7Y29uZixDUFN9LAogdGl0bGUgPSB7RGlzdG9ydGluZyBhbiBhZHZlcnNhcnkncyB2aWV3IGluIGN5YmVyLXBoeXNpY2FsIHN5c3RlbXN9LAogdHlwZSA9IHs0fSwKIHVybF9hcnhpdiA9IHtodHRwczovL2FyeGl2Lm9yZy9hYnMvMTgwOS4wNDU4MH0sCiBkb2kgPSB7MTAuMTEwOS9DREMuMjAxOC44NjE5NDU3fSwKIHllYXIgPSB7MjAxOH0KfQoKCgpAYXJ0aWNsZXthZ2Fyd2FsMjAyMGRpc3RvcnRpb24sCiBhYnN0cmFjdCA9IHtJbiBDeWJlci1QaHlzaWNhbCBTeXN0ZW1zIChDUFMpLCBpbmZlcmVuY2UgYmFzZWQgb24gY29tbXVuaWNhdGVkIGRhdGEgaXMgb2YgY3JpdGljYWwgc2lnbmlmaWNhbmNlIGFzIGl0IGNhbiBiZSB1c2VkIHRvIG1hbmlwdWxhdGUgb3IgZGFtYWdlIHRoZSBjb250cm9sIG9wZXJhdGlvbnMgYnkgYWR2ZXJzYXJpZXMuIFRoaXMgY2FsbHMgZm9yIGVmZmljaWVudCBtZWNoYW5pc21zIGZvciBzZWN1cmUgdHJhbnNtaXNzaW9uIG9mIGRhdGEgc2luY2UgY29udHJvbCBzeXN0ZW1zIGFyZSBiZWNvbWluZyBpbmNyZWFzaW5nbHkgZGlzdHJpYnV0ZWQgb3ZlciBsYXJnZXIgZ2VvZ3JhcGhpY2FsIGFyZWFzLiBEaXN0b3J0aW9uIGJhc2VkIHNlY3VyaXR5LCByZWNlbnRseSBwcm9wb3NlZCBhcyBvbmUgY2FuZGlkYXRlIGZvciBzZWN1cmUgdHJhbnNtaXNzaW9ucyBpbiBDUFMsIGlzIG5vdCBvbmx5IG1vcmUgYXBwcm9wcmlhdGUgZm9yIHRoZXNlIGFwcGxpY2F0aW9ucyBidXQgYWxzbyBxdWl0ZSBmcnVnYWwgaW4gdGVybXMgb2YgcHJpb3IgcmVxdWlyZW1lbnRzIG9uIHNoYXJlZCBrZXlzLiBJbiB0aGlzIHBhcGVyLCB3ZSBwcm9wb3NlIGRpc3RvcnRpb24tYmFzZWQgbWV0cmljcyB0byBwcm90ZWN0IENQUyBjb21tdW5pY2F0aW9uIGFuZCBzaG93IHRoYXQgaXQgaXMgcG9zc2libGUgdG8gY29uZnVzZSBhZHZlcnNhcmllcyB3aXRoIGp1c3QgYSBmZXcgYml0cyBvZiBwcmUtc2hhcmVkIGtleXMuIEluIHBhcnRpY3VsYXIsIHdlIHdpbGwgc2hvdyB0aGF0IGEgbGluZWFyIGR5bmFtaWNhbCBzeXN0ZW0gY2FuIGNvbW11bmljYXRlIGl0cyBzdGF0ZSBpbiBhIG1hbm5lciB0aGF0IHByZXZlbnRzIGFuIGVhdmVzZHJvcHBlciBmcm9tIGFjY3VyYXRlbHkgbGVhcm5pbmcgdGhlIHN0YXRlLn0sCiBhdXRob3IgPSB7QWdhcndhbCwgRy4gSy4gYW5kIEthcm1vb3NlLCBNLiBhbmQgRGlnZ2F2aSwgUy4gYW5kIEZyYWdvdWxpLCBDLiBhbmQgVGFidWFkYSwgUC59LAogZG9pID0gezEwLjExMDkvVEFDLjIwMjAuMzAwNjgxNH0sCiBqb3VybmFsID0ge0lFRUUgVHJhbnNhY3Rpb25zIG9uIEF1dG9tYXRpYyBDb250cm9sfSwKIHRhZ3MgPSB7am91cm5hbCxDUFN9LAogdGl0bGUgPSB7RGlzdG9ydGlvbiBiYXNlZCBMaWdodC13ZWlnaHQgU2VjdXJpdHkgZm9yIEN5YmVyLVBoeXNpY2FsIFN5c3RlbXN9LAogdHlwZSA9IHsyfSwKIHVybF9hcnhpdiA9IHtodHRwczovL2FyeGl2Lm9yZy9hYnMvMjAwNi4xNTk5OH0sCiB5ZWFyID0gezIwMjF9LAogdm9sdW1lPXs2Nn0sCiBudW1iZXI9ezR9LAogcGFnZXM9ezE1ODgtMTYwMX0sCn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2FsbGVydG9uL1Nob3drYXRiYWtoc2hURDE2LAogYWJzdHJhY3QgPSB7VGhpcyB3b3JrIGlzIGNvbmNlcm5lZCB3aXRoIHRoZSBpZGVudGlmaWNhdGlvbiBvZiBsaW5lYXIgdGltZS1pbnZhcmlhbnQgc3lzdGVtcyBpbiB0aGUgcHJlc2VuY2Ugb2YgYW4gYWR2ZXJzYXJpYWwgYWdlbnQgdGhhdCBhdHRhY2tzIHNlbnNvciBtZWFzdXJlbWVudHMuIFRoZSBhdHRhY2tlciBpcyBvbW5pc2NpZW50IGFuZCB3ZSBpbXBvc2Ugbm8gcmVzdHJpY3Rpb25zIChzdGF0aXN0aWNhbCBvciBvdGhlcndpc2UpIG9uIGhvdyB0aGUgYWR2ZXJzYXJ5IGFsdGVycyB0aGUgc2Vuc29yIG1lYXN1cmVtZW50cy4gV2Ugd29yayBpbiBhIG5vaXN5IHNjZW5hcmlvIHdoZXJlLCBpbiBhZGRpdGlvbiB0byB0aGUgYXR0YWNrcywgdGhlIHNlbnNvciBtZWFzdXJlbWVudHMgYXJlIGFsc28gYWZmZWN0ZWQgYnkgYWRkaXRpdmUgbm9pc2UuIEdpdmVuIGEgYm91bmQgb24gdGhlIG51bWJlciBvZiBhdHRhY2tlZCBzZW5zb3JzLCBhbmQgdW5kZXIgYSBjZXJ0YWluIG9ic2VydmFiaWxpdHkgY29uZGl0aW9uLCB3ZSBzaG93IHRoYXQgd2UgY2FuIHN0aWxsIGNvbnN0cnVjdCBhIG1vZGVsIHRoYXQgaXMgdXNlZnVsIGZvciBzdGFiaWxpemF0aW9uLiBGdXJ0aGVybW9yZSwgd2Ugc2hvdyB0aGF0IHRoaXMgbW9kZWwgaXMgY2xvc2VseSByZWxhdGVkIHRvIHRoZSBvcmlnaW5hbCBzeXN0ZW0ufSwKIGF1dGhvciA9IHtNZWhyZGFkIFNob3drYXRiYWtoc2ggYW5kClBhdWxvIFRhYnVhZGEgYW5kClN1aGFzIE4uIERpZ2dhdml9LAogYmlic291cmNlID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHA6Ly9kYmxwLm9yZ30sCiBiaWJ1cmwgPSB7aHR0cDovL2RibHAudW5pLXRyaWVyLmRlL3JlYy9iaWIvY29uZi9hbGxlcnRvbi9TaG93a2F0YmFraHNoVEQxNn0sCiBib29rdGl0bGUgPSB7NTR0aCBBbm51YWwgQWxsZXJ0b24gQ29uZmVyZW5jZSBvbiBDb21tdW5pY2F0aW9uLCBDb250cm9sLCBhbmQgQ29tcHV0aW5nLApBbGxlcnRvbiAyMDE2LCBNb250aWNlbGxvLCBJTCwgVVNBLCBTZXB0ZW1iZXIgMjctMzAsIDIwMTZ9LAogY3Jvc3NyZWYgPSB7REJMUDpjb25mL2FsbGVydG9uLzIwMTZ9LAogZG9pID0gezEwLjExMDkvQUxMRVJUT04uMjAxNi43ODUyMzYzfSwKIGZpbGUgPSB7OnBhcGVyczptZWhyZGFkX2FsbGVydG9uMTYucGRmfSwKIHBhZ2VzID0gezExMzctLTExNDF9LAogdGFncyA9IHtjb25mLElULFNlY3VyZUNQU30sCiB0aW1lc3RhbXAgPSB7RnJpLCAxNyBGZWIgMjAxNyAxMDo0OTo0NyArMDEwMH0sCiB0aXRsZSA9IHtTZWN1cmUgc3lzdGVtIGlkZW50aWZpY2F0aW9ufSwKIHR5cGUgPSB7NH0sCiB5ZWFyID0gezIwMTZ9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2NkYy9TaG93a2F0YmFraHNoVEQxNiwKIGF1dGhvciA9IHtNZWhyZGFkIFNob3drYXRiYWtoc2ggYW5kClBhdWxvIFRhYnVhZGEgYW5kClN1aGFzIE4uIERpZ2dhdml9LAogYmlic291cmNlID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHA6Ly9kYmxwLm9yZ30sCiBiaWJ1cmwgPSB7aHR0cDovL2RibHAudW5pLXRyaWVyLmRlL3JlYy9iaWIvY29uZi9jZGMvU2hvd2thdGJha2hzaFREMTZ9LAogYm9va3RpdGxlID0gezU1dGgge0lFRUV9IENvbmZlcmVuY2Ugb24gRGVjaXNpb24gYW5kIENvbnRyb2wsIENEQyAyMDE2LCBMYXMgVmVnYXMsCk5WLCBVU0EsIERlY2VtYmVyIDEyLTE0LCAyMDE2fSwKIGNyb3NzcmVmID0ge0RCTFA6Y29uZi9jZGMvMjAxNn0sCiBkb2kgPSB7MTAuMTEwOS9DREMuMjAxNi43Nzk5Mzc2fSwKIGZpbGUgPSB7OnBhcGVyczptZWhyZGFkX2NkYzE2LnBkZn0sCiBwYWdlcyA9IHs3MTc3LS03MTgyfSwKIHRhZ3MgPSB7Y29uZixJVCxTZWN1cmVDUFN9LAogdGltZXN0YW1wID0ge1R1ZSwgMDMgSmFuIDIwMTcgMTU6MTY6NDUgKzAxMDB9LAogdGl0bGUgPSB7U3lzdGVtIGlkZW50aWZpY2F0aW9uIGluIHRoZSBwcmVzZW5jZSBvZiBhZHZlcnNhcmlhbCBvdXRwdXRzfSwKIHR5cGUgPSB7NH0sCiB5ZWFyID0gezIwMTZ9Cn0KCgoKQGFydGljbGV7ZGlnZ2F2aTIwMjBjb2RpbmcsCiBhdXRob3IgPSB7RGlnZ2F2aSwgU3VoYXMgYW5kIFRhYnVhZGEsIFBhdWxvfSwKIGRvaSA9IHsxMC4xMDAyLzk3ODExMTk1OTMzODYuY2gxNX0sCiBqb3VybmFsID0ge01vZGVsaW5nIGFuZCBEZXNpZ24gb2YgU2VjdXJlIEludGVybmV0IG9mIFRoaW5nc30sCiBwYWdlcyA9IHszNTctLTM2OX0sCiBwdWJsaXNoZXIgPSB7V2lsZXkgT25saW5lIExpYnJhcnl9LAogdGFncyA9IHtCb29rQ2hhcCxDUFN9LAogdGl0bGUgPSB7QSBDb2RpbmcgVGhlb3JldGljIFZpZXcgb2YgU2VjdXJlIFN0YXRlIFJlY29uc3RydWN0aW9ufSwKIHR5cGUgPSB7M30sCiB5ZWFyID0gezIwMjB9Cn0KCgoKQGFydGljbGV7bWlzaHJhMjAxN3NlY3VyZSwKIGF1dGhvciA9IHtNaXNocmEsIFNoYXVuYWsgYW5kIFNob3VrcnksIFlhc3NlciBhbmQgS2FyYW1jaGFuZGFuaSwgTmlraGlsIGFuZCBEaWdnYXZpLCBTdWhhcyBOIGFuZCBUYWJ1YWRhLCBQYXVsb30sCiBmaWxlID0gezpwYXBlcnM6bWlzaHJhX3NlY3VyZS5wZGZ9LAogam91cm5hbCA9IHtJRUVFIFRyYW5zYWN0aW9ucyBvbiBDb250cm9sIG9mIE5ldHdvcmsgU3lzdGVtc30sCiBudW1iZXIgPSB7MX0sCiBwYWdlcyA9IHs0OS0tNTl9LAogcHVibGlzaGVyID0ge0lFRUV9LAogdGFncyA9IHtqb3VybmFsLElULFNlY3VyZUNQU30sCiB0aXRsZSA9IHtTZWN1cmUgc3RhdGUgZXN0aW1hdGlvbiBhZ2FpbnN0IHNlbnNvciBhdHRhY2tzIGluIHRoZSBwcmVzZW5jZSBvZiBub2lzZX0sCiB0eXBlID0gezJ9LAogdm9sdW1lID0gezR9LAogeWVhciA9IHsyMDE3fQp9CgoKCkBpbnByb2NlZWRpbmdze1B5Q1JBLAogYXV0aG9yID0ge1Nob3VrcnksIFkuIGFuZCBNYXJ0aW4sIFAuIGFuZCBZb25hLCBZLiBhbmQgRGlnZ2F2aSwgUy4gYW5kIFNyaXZhc3RhdmEsIE0ufSwKIGJvb2t0aXRsZSA9IHtUaGUgMjJuZCBBQ00gQ29uZmVyZW5jZSBvbiBDb21wdXRlciBhbmQgQ29tbXVuaWNhdGlvbnMgU2VjdXJpdHkgKENDUyAyMDE1KX0sCiBmaWxlID0gezpwYXBlcnM6cHljcmEucGRmfSwKIG1vbnRoID0ge09jdG9iZXJ9LAogcGFnZXMgPSB7MTAwNC0xMDE1fSwKIHRhZ3MgPSB7Y29uZixJVCxTZWN1cmVDUFMsSGFyZHdhcmV9LAogdGl0bGUgPSB7UHlDUkE6IFBoeXNpY2FsIENoYWxsZW5nZS1SZXNwb25zZSBBdXRoZW50aWNhdGlvbiBGb3IgQWN0aXZlIFNlbnNvcnMgVW5kZXIgU3Bvb2ZpbmcgQXR0YWNrc30sCiB0eXBlID0gezR9LAogeWVhciA9IHsyMDE1fQp9CgoKCkBpbnByb2NlZWRpbmdze3Nob3drYXRiYWtoc2gyMDE3c210LAogYXV0aG9yID0ge1Nob3drYXRiYWtoc2gsIE1laHJkYWQgYW5kIFNob3VrcnksIFlhc3NlciBhbmQgQ2hlbiwgUm9iZXJ0IEggYW5kIERpZ2dhdmksIFN1aGFzIGFuZCBUYWJ1YWRhLCBQYXVsb30sCiBib29rdGl0bGUgPSB7MjAxNyBJRUVFIDU2dGggQW5udWFsIENvbmZlcmVuY2Ugb24gRGVjaXNpb24gYW5kIENvbnRyb2wgKENEQyl9LAogb3JnYW5pemF0aW9uID0ge0lFRUV9LAogcGFnZXMgPSB7MTU3LS0xNjJ9LAogdGFncyA9IHtjb25mLENQU30sCiB0aXRsZSA9IHtBbiBTTVQtYmFzZWQgYXBwcm9hY2ggdG8gc2VjdXJlIHN0YXRlIGVzdGltYXRpb24gdW5kZXIgc2Vuc29yIGFuZCBhY3R1YXRvciBhdHRhY2tzfSwKIHR5cGUgPSB7NH0sCiB5ZWFyID0gezIwMTd9Cn0KCgoKQGFydGljbGV7U0hPV0tBVEJBS0hTSDIwMjAxMDg5MjAsCiBhYnN0cmFjdCA9IHtUaGlzIHBhcGVyIGRpc2N1c3NlcyB0aGUgcHJvYmxlbSBvZiByZWNvbnN0cnVjdGluZyB0aGUgc3RhdGUgb2YgYSBsaW5lYXIgdGltZSBpbnZhcmlhbnQgc3lzdGVtIHdoZW4gc29tZSBvZiBpdHMgYWN0dWF0b3JzIGFuZCBzZW5zb3JzIGFyZSBjb21wcm9taXNlZCBieSBhbiBhZHZlcnNhcmlhbCBhZ2VudC4gSW4gdGhlIG1vZGVsIGNvbnNpZGVyZWQgaW4gdGhpcyBwYXBlciwgdGhlIGFkdmVyc2FyaWFsIGFnZW50IGF0dGFja3MgYW4gaW5wdXQgKG91dHB1dCkgYnkgbWFuaXB1bGF0aW5nIGl0cyB2YWx1ZSBhcmJpdHJhcmlseSwgaS5lLiwgd2UgaW1wb3NlIG5vIGNvbnN0cmFpbnRzIChzdGF0aXN0aWNhbCBvciBvdGhlcndpc2UpIG9uIGhvdyBjb250cm9sIGNvbW1hbmRzIChzZW5zb3IgbWVhc3VyZW1lbnRzKSBhcmUgY2hhbmdlZCBieSB0aGUgYWR2ZXJzYXJ5IG90aGVyIHRoYW4gYSBib3VuZCBvbiB0aGUgbnVtYmVyIG9mIGF0dGFja2VkIGFjdHVhdG9ycyBhbmQgc2Vuc29ycyBJbiB0aGUgZmlyc3QgcGFydCBvZiB0aGlzIHBhcGVyLCB3ZSBpbnRyb2R1Y2UgdGhlIG5vdGlvbiBvZiBzcGFyc2Ugc3Ryb25nIG9ic2VydmFiaWxpdHkgYW5kIHdlIHNob3cgdGhhdCBpcyBhIG5lY2Vzc2FyeSBhbmQgc3VmZmljaWVudCBjb25kaXRpb24gZm9yIGNvcnJlY3RseSByZWNvbnN0cnVjdGluZyB0aGUgc3RhdGUgZGVzcGl0ZSB0aGUgY29uc2lkZXJlZCBhdHRhY2tzLiBJbiB0aGUgc2Vjb25kIGhhbGYgb2YgdGhpcyB3b3JrLCB3ZSBwcm9wb3NlIGFuIG9ic2VydmVyIHRvIGhhcm5lc3MgdGhlIGNvbXBsZXhpdHkgb2YgdGhpcyBpbnRyaW5zaWNhbGx5IGNvbWJpbmF0b3JpYWwgcHJvYmxlbSwgYnkgbGV2ZXJhZ2luZyBzYXRpc2ZpYWJpbGl0eSBtb2R1bG8gdGhlb3J5IHNvbHZpbmcuIE51bWVyaWNhbCBzaW11bGF0aW9ucyBpbGx1c3RyYXRlIHRoZSBlZmZlY3RpdmVuZXNzIGFuZCBzY2FsYWJpbGl0eSBvZiBvdXIgb2JzZXJ2ZXIufSwKIGF1dGhvciA9IHtNZWhyZGFkIFNob3drYXRiYWtoc2ggYW5kIFlhc3NlciBTaG91a3J5IGFuZCBTdWhhcyBOLiBEaWdnYXZpIGFuZCBQYXVsbyBUYWJ1YWRhfSwKIGRvaSA9IHtodHRwczovL2RvaS5vcmcvMTAuMTAxNi9qLmF1dG9tYXRpY2EuMjAyMC4xMDg5MjB9LAogaXNzbiA9IHswMDA1LTEwOTh9LAogam91cm5hbCA9IHtBdXRvbWF0aWNhfSwKIGtleXdvcmRzID0ge0N5YmVy4oCTcGh5c2ljYWwgc2VjdXJpdHksIFN0YXRlIHJlY29uc3RydWN0aW9uLCBTZWN1cml0eSBtb25pdG9yaW5nfSwKIHBhZ2VzID0gezEwODkyMH0sCiB0YWdzID0ge2pvdXJuYWwsQ1BTfSwKIHRpdGxlID0ge1NlY3VyaW5nIHN0YXRlIHJlY29uc3RydWN0aW9uIHVuZGVyIHNlbnNvciBhbmQgYWN0dWF0b3IgYXR0YWNrczogVGhlb3J5IGFuZCBkZXNpZ259LAogdHlwZSA9IHsyfSwKIHVybF9saW5rID0ge2h0dHA6Ly93d3cuc2NpZW5jZWRpcmVjdC5jb20vc2NpZW5jZS9hcnRpY2xlL3BpaS9TMDAwNTEwOTgyMDMwMTE4N30sCiB2b2x1bWUgPSB7MTE2fSwKIHllYXIgPSB7MjAyMH0KfQoKCgpAaW5wcm9jZWVkaW5nc3tzdWx0YW5nYXppbjIwMThwcm90ZWN0aW5nLAogYWJzdHJhY3QgPSB7VGhlIHZpc2lvbiBvZiBhbiBJbnRlcm5ldC1vZi1UaGluZ3MgY2FsbHMgZm9yIGNvbWJpbmluZyB0aGUgaW5jcmVhc2luZyBjb25uZWN0aXZpdHkgb2YgZGV2aWNlcyBhdCB0aGUgZWRnZSB3aXRoIHRoZSBhYmlsaXR5IHRvIGNvbXB1dGUgZWl0aGVyIGF0IHRoZSBlZGdlIG9yIG9uIG1vcmUgcG93ZXJmdWwgc2VydmVycyBpbiB0aGUgbmV0d29yay4gVGhlcmUgaXMgZ3JlYXQgaW50ZXJlc3QgaW4gZXhwbG9yaW5nIHRoZSBmZWFzaWJpbGl0eSBvZiB0aGVzZSBpZGVhcyB3aGVuIGRldmljZXMgc3VjaCBhcyBxdWFkY29wdGVycyBvciBncm91bmQgcm9ib3RzIGF0IHRoZSBlZGdlIGFyZSBjb250cm9sbGVkIG92ZXIgdGhlIGNsb3VkLCBpLmUuLCBieSBsZXZlcmFnaW5nIGNvbXB1dGF0aW9uYWwgcG93ZXIgYXZhaWxhYmxlIGVsc2V3aGVyZSBpbiB0aGUgbmV0d29yay4gT25lIG9mIHRoZSBtYWluIGRpZmZpY3VsdGllcywgZXNwZWNpYWxseSBpbiB0aGUgY29udGV4dCBvZiB0aGUgSW50ZXJuZXQtb2YtQmF0dGxlZmllbGQtIFRoaW5ncyBpcyB0aGUgbmVlZCB0byBrZWVwIHRoZSBkYXRhIHByaXZhdGUuIEluIHRoaXMgcGFwZXIgd2UgcHJvcG9zZSBhIHNvbHV0aW9uIHRvIHRoaXMgcHJvYmxlbSBieSBleHRlbmRpbmcgcHJldmlvdXMgcmVzdWx0cyBieSB0aGUgYXV0aG9ycyBmcm9tIGEgc2luZ2xlIHN5c3RlbSBjb250cm9sbGVkIG92ZXIgdGhlIGNsb3VkIHRvIG5ldHdvcmtzIG9mIHN5c3RlbXMgdGhhdCBhcmUgY29udHJvbGxlZCBhbmQgY29vcmRpbmF0ZWQgb3ZlciB0aGUgY2xvdWQuIFdlIHByb3Bvc2UgYSBub25jcnlwdG9ncmFwaGljIGxpZ2h0d2VpZ2h0IGVuY29kaW5nIHNjaGVtZSB0aGF0IGVuc3VyZXMgdGhlIHByaXZhY3kgb2YgdGhlIGRhdGEgZXhjaGFuZ2VkIGJ5IGFsbCB0aGUgcGFydGljaXBhdGluZyBwYXJ0aWVzLn0sCiBhdXRob3IgPSB7U3VsdGFuZ2F6aW4sIEFsaW16aGFuIGFuZCBEaWdnYXZpLCBTdWhhcyBhbmQgVGFidWFkYSwgUGF1bG99LAogYm9va3RpdGxlID0gezIwMTggMjd0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gQ29tcHV0ZXIgQ29tbXVuaWNhdGlvbiBhbmQgTmV0d29ya3MgKElDQ0NOKX0sCiBvcmdhbml6YXRpb24gPSB7SUVFRX0sCiBwYWdlcyA9IHsxLS03fSwKIHRhZ3MgPSB7Y29uZixDUFN9LAogdGl0bGUgPSB7UHJvdGVjdGluZyB0aGUgcHJpdmFjeSBvZiBuZXR3b3JrZWQgbXVsdGktYWdlbnQgc3lzdGVtcyBjb250cm9sbGVkIG92ZXIgdGhlIGNsb3VkfSwKIHR5cGUgPSB7NH0sCiBkb2kgPSB7MTAuMTEwOS9JQ0NDTi4yMDE4Ljg0ODczNTV9LAogeWVhciA9IHsyMDE4fQp9CgoKCkBpbnByb2NlZWRpbmdze3RzYWkyMDE3ZGlzdG9ydGlvbiwKIGF1dGhvciA9IHtUc2FpLCBDaGktWW8gYW5kIEFnYXJ3YWwsIEdhdXJhdiBLdW1hciBhbmQgRnJhZ291bGksIENocmlzdGluYSBhbmQgRGlnZ2F2aSwgU3VoYXN9LAogYm9va3RpdGxlID0gezIwMTcgSUVFRSBpbnRlcm5hdGlvbmFsIHN5bXBvc2l1bSBvbiBpbmZvcm1hdGlvbiB0aGVvcnkgKElTSVQpfSwKIG9yZ2FuaXphdGlvbiA9IHtJRUVFfSwKIHBhZ2VzID0gezE5MTMtLTE5MTd9LAogdGFncyA9IHtjb25mLENQU30sCiB0aXRsZSA9IHtBIGRpc3RvcnRpb24gYmFzZWQgYXBwcm9hY2ggZm9yIHByb3RlY3RpbmcgaW5mZXJlbmNlc30sCiB0eXBlID0gezR9LAogeWVhciA9IHsyMDE3fQp9Cgo=\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://s3-us-west-2.amazonaws.com/us-west-2.files.campus.edublogs.org/research.seas.ucla.edu/dist/b/22/files/2023/02/publicactions_v1.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://s3-us-west-2.amazonaws.com/us-west-2.files.campus.edublogs.org/research.seas.ucla.edu/dist/b/22/files/2023/02/publicactions_v1.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fus-west-2.files.campus.edublogs.org%2Fresearch.seas.ucla.edu%2Fdist%2Fb%2F22%2Ffiles%2F2023%2F02%2Fpublicactions_v1.bib&amp;authorFirst=1&amp;nocache=1&amp;fullnames=1&amp;theme=bullets&amp;group0=year&amp;group1=type&amp;owner={}&amp;filter=tags:(CPS|SecureCPS)&amp;jsonp=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fus-west-2.files.campus.edublogs.org%2Fresearch.seas.ucla.edu%2Fdist%2Fb%2F22%2Ffiles%2F2023%2F02%2Fpublicactions_v1.bib&amp;authorFirst=1&amp;nocache=1&amp;fullnames=1&amp;theme=bullets&amp;group0=year&amp;group1=type&amp;owner={}&amp;filter=tags:(CPS|SecureCPS)&amp;jsonp=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fs3-us-west-2.amazonaws.com%2Fus-west-2.files.campus.edublogs.org%2Fresearch.seas.ucla.edu%2Fdist%2Fb%2F22%2Ffiles%2F2023%2F02%2Fpublicactions_v1.bib&amp;authorFirst=1&amp;nocache=1&amp;fullnames=1&amp;theme=bullets&amp;group0=year&amp;group1=type&amp;owner={}&amp;filter=tags:(CPS|SecureCPS)&amp;jsonp=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2')\"\n      onkeypress=\"toggleGroup('group_2')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"mao-diggavi-fragouli-tabuada-securestatereconstructionovernetworkssubjecttoattacks-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Y. Mao;  S. Diggavi;  C. Fragouli;  and  P. Tabuada.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Secure State-Reconstruction Over Networks Subject to Attacks.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>IEEE Control Systems Letters</i>, 5(1): 157-162. Jan 2021.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/LCSYS.2020.3000853\"\n     onclick=\"log_download('mao-diggavi-fragouli-tabuada-securestatereconstructionovernetworkssubjecttoattacks-2021', 'http://doi.org/10.1109/LCSYS.2020.3000853', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/mao-diggavi-fragouli-tabuada-securestatereconstructionovernetworkssubjecttoattacks-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>3 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('mao-diggavi-fragouli-tabuada-securestatereconstructionovernetworkssubjecttoattacks-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{9112310,\n abstract = {Secure state-reconstruction is the problem of reconstructing the state of a linear time-invariant system from sensor measurements that have been corrupted by an adversary. Whereas most work focuses on attacks on sensors, we consider the more challenging case where attacks occur on sensors as well as on nodes and links of a network that transports sensor measurements to a receiver. In this letter we provide necessary and sufficient conditions for the secure state-reconstruction problem to be solvable in the presence of attacks on sensors and on the network.},\n author = {Y. {Mao} and S. {Diggavi} and C. {Fragouli} and P. {Tabuada}},\n doi = {10.1109/LCSYS.2020.3000853},\n issn = {2475-1456},\n journal = {IEEE Control Systems Letters},\n keywords = {control system security;linear systems;secure state-reconstruction;sensor measurements;linear time-invariant system;Receivers;Sensors;Relay networks (telecommunications);Observability;Indexes;Network coding;Fault tolerant systems;network analysis and control;fault detection},\n month = {Jan},\n number = {1},\n pages = {157-162},\n tags = {journal,CPS},\n title = {Secure State-Reconstruction Over Networks Subject to Attacks},\n type = {2},\n volume = {5},\n year = {2021}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  Secure state-reconstruction is the problem of reconstructing the state of a linear time-invariant system from sensor measurements that have been corrupted by an adversary. Whereas most work focuses on attacks on sensors, we consider the more challenging case where attacks occur on sensors as well as on nodes and links of a network that transports sensor measurements to a receiver. In this letter we provide necessary and sufficient conditions for the secure state-reconstruction problem to be solvable in the presence of attacks on sensors and on the network.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"agarwal-karmoose-diggavi-fragouli-tabuada-distortionbasedlightweightsecurityforcyberphysicalsystems-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   G. K. Agarwal;  M. Karmoose;  S. Diggavi;  C. Fragouli;  and  P. Tabuada.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2006.15998\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'agarwal-karmoose-diggavi-fragouli-tabuada-distortionbasedlightweightsecurityforcyberphysicalsystems-2021', 'https://arxiv.org/abs/2006.15998', event);\">\n    Distortion based Light-weight Security for Cyber-Physical Systems.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>IEEE Transactions on Automatic Control</i>, 66(4): 1588-1601.  2021.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2006.15998\"\n     onclick=\"log_download('agarwal-karmoose-diggavi-fragouli-tabuada-distortionbasedlightweightsecurityforcyberphysicalsystems-2021', 'https://arxiv.org/abs/2006.15998', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Distortion based Light-weight Security for Cyber-Physical Systems [link]\"\n       title=\" arxiv\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> arxiv</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/TAC.2020.3006814\"\n     onclick=\"log_download('agarwal-karmoose-diggavi-fragouli-tabuada-distortionbasedlightweightsecurityforcyberphysicalsystems-2021', 'http://doi.org/10.1109/TAC.2020.3006814', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/agarwal-karmoose-diggavi-fragouli-tabuada-distortionbasedlightweightsecurityforcyberphysicalsystems-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>2 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('agarwal-karmoose-diggavi-fragouli-tabuada-distortionbasedlightweightsecurityforcyberphysicalsystems-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{agarwal2020distortion,\n abstract = {In Cyber-Physical Systems (CPS), inference based on communicated data is of critical significance as it can be used to manipulate or damage the control operations by adversaries. This calls for efficient mechanisms for secure transmission of data since control systems are becoming increasingly distributed over larger geographical areas. Distortion based security, recently proposed as one candidate for secure transmissions in CPS, is not only more appropriate for these applications but also quite frugal in terms of prior requirements on shared keys. In this paper, we propose distortion-based metrics to protect CPS communication and show that it is possible to confuse adversaries with just a few bits of pre-shared keys. In particular, we will show that a linear dynamical system can communicate its state in a manner that prevents an eavesdropper from accurately learning the state.},\n author = {Agarwal, G. K. and Karmoose, M. and Diggavi, S. and Fragouli, C. and Tabuada, P.},\n doi = {10.1109/TAC.2020.3006814},\n journal = {IEEE Transactions on Automatic Control},\n tags = {journal,CPS},\n title = {Distortion based Light-weight Security for Cyber-Physical Systems},\n type = {2},\n url_arxiv = {https://arxiv.org/abs/2006.15998},\n year = {2021},\n volume={66},\n number={4},\n pages={1588-1601},\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  In Cyber-Physical Systems (CPS), inference based on communicated data is of critical significance as it can be used to manipulate or damage the control operations by adversaries. This calls for efficient mechanisms for secure transmission of data since control systems are becoming increasingly distributed over larger geographical areas. Distortion based security, recently proposed as one candidate for secure transmissions in CPS, is not only more appropriate for these applications but also quite frugal in terms of prior requirements on shared keys. In this paper, we propose distortion-based metrics to protect CPS communication and show that it is possible to confuse adversaries with just a few bits of pre-shared keys. In particular, we will show that a linear dynamical system can communicate its state in a manner that prevents an eavesdropper from accurately learning the state.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2020\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2020')\"\n      onkeypress=\"toggleGroup('group_2020')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2020</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2')\"\n      onkeypress=\"toggleGroup('group_2')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"showkatbakhsh-shoukry-diggavi-tabuada-securingstatereconstructionundersensorandactuatorattackstheoryanddesign-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Mehrdad Showkatbakhsh;  Yasser Shoukry;  Suhas N. Diggavi;  and  Paulo Tabuada.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://www.sciencedirect.com/science/article/pii/S0005109820301187\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'showkatbakhsh-shoukry-diggavi-tabuada-securingstatereconstructionundersensorandactuatorattackstheoryanddesign-2020', 'http://www.sciencedirect.com/science/article/pii/S0005109820301187', event);\">\n    Securing state reconstruction under sensor and actuator attacks: Theory and design.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>Automatica</i>, 116: 108920.  2020.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://www.sciencedirect.com/science/article/pii/S0005109820301187\"\n     onclick=\"log_download('showkatbakhsh-shoukry-diggavi-tabuada-securingstatereconstructionundersensorandactuatorattackstheoryanddesign-2020', 'http://www.sciencedirect.com/science/article/pii/S0005109820301187', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Securing state reconstruction under sensor and actuator attacks: Theory and design [link]\"\n       title=\" link\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> link</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/https://doi.org/10.1016/j.automatica.2020.108920\"\n     onclick=\"log_download('showkatbakhsh-shoukry-diggavi-tabuada-securingstatereconstructionundersensorandactuatorattackstheoryanddesign-2020', 'http://doi.org/https://doi.org/10.1016/j.automatica.2020.108920', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/showkatbakhsh-shoukry-diggavi-tabuada-securingstatereconstructionundersensorandactuatorattackstheoryanddesign-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('showkatbakhsh-shoukry-diggavi-tabuada-securingstatereconstructionundersensorandactuatorattackstheoryanddesign-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{SHOWKATBAKHSH2020108920,\n abstract = {This paper discusses the problem of reconstructing the state of a linear time invariant system when some of its actuators and sensors are compromised by an adversarial agent. In the model considered in this paper, the adversarial agent attacks an input (output) by manipulating its value arbitrarily, i.e., we impose no constraints (statistical or otherwise) on how control commands (sensor measurements) are changed by the adversary other than a bound on the number of attacked actuators and sensors In the first part of this paper, we introduce the notion of sparse strong observability and we show that is a necessary and sufficient condition for correctly reconstructing the state despite the considered attacks. In the second half of this work, we propose an observer to harness the complexity of this intrinsically combinatorial problem, by leveraging satisfiability modulo theory solving. Numerical simulations illustrate the effectiveness and scalability of our observer.},\n author = {Mehrdad Showkatbakhsh and Yasser Shoukry and Suhas N. Diggavi and Paulo Tabuada},\n doi = {https://doi.org/10.1016/j.automatica.2020.108920},\n issn = {0005-1098},\n journal = {Automatica},\n keywords = {Cyber–physical security, State reconstruction, Security monitoring},\n pages = {108920},\n tags = {journal,CPS},\n title = {Securing state reconstruction under sensor and actuator attacks: Theory and design},\n type = {2},\n url_link = {http://www.sciencedirect.com/science/article/pii/S0005109820301187},\n volume = {116},\n year = {2020}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  This paper discusses the problem of reconstructing the state of a linear time invariant system when some of its actuators and sensors are compromised by an adversarial agent. In the model considered in this paper, the adversarial agent attacks an input (output) by manipulating its value arbitrarily, i.e., we impose no constraints (statistical or otherwise) on how control commands (sensor measurements) are changed by the adversary other than a bound on the number of attacked actuators and sensors In the first part of this paper, we introduce the notion of sparse strong observability and we show that is a necessary and sufficient condition for correctly reconstructing the state despite the considered attacks. In the second half of this work, we propose an observer to harness the complexity of this intrinsically combinatorial problem, by leveraging satisfiability modulo theory solving. Numerical simulations illustrate the effectiveness and scalability of our observer.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_3\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_3')\"\n      onkeypress=\"toggleGroup('group_3')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>3</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"diggavi-tabuada-acodingtheoreticviewofsecurestatereconstruction-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Suhas Diggavi;  and  Paulo Tabuada.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  A Coding Theoretic View of Secure State Reconstruction.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>Modeling and Design of Secure Internet of Things</i>,357–369.  2020.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1002/9781119593386.ch15\"\n     onclick=\"log_download('diggavi-tabuada-acodingtheoreticviewofsecurestatereconstruction-2020', 'http://doi.org/10.1002/9781119593386.ch15', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/diggavi-tabuada-acodingtheoreticviewofsecurestatereconstruction-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('diggavi-tabuada-acodingtheoreticviewofsecurestatereconstruction-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{diggavi2020coding,\n author = {Diggavi, Suhas and Tabuada, Paulo},\n doi = {10.1002/9781119593386.ch15},\n journal = {Modeling and Design of Secure Internet of Things},\n pages = {357--369},\n publisher = {Wiley Online Library},\n tags = {BookChap,CPS},\n title = {A Coding Theoretic View of Secure State Reconstruction},\n type = {3},\n year = {2020}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2018\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2018')\"\n      onkeypress=\"toggleGroup('group_2018')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2018</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2')\"\n      onkeypress=\"toggleGroup('group_2')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-towardaninternetofbattlefieldthingsaresilienceperspective-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Tarek Abdelzaher;  Nora Ayanian;  Tamer Basar;  Suhas Diggavi;  Jana Diesner;  Deepak Ganesan;  Ramesh Govindan;  Susmit Jha;  Tancrede Lepoint;  Benjamin Marlin;  and  others.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Toward an internet of battlefield things: a resilience perspective.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>Computer</i>, 51(11): 24–36.  2018.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/MC.2018.2876048\"\n     onclick=\"log_download('abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-towardaninternetofbattlefieldthingsaresilienceperspective-2018', 'http://doi.org/10.1109/MC.2018.2876048', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-towardaninternetofbattlefieldthingsaresilienceperspective-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-towardaninternetofbattlefieldthingsaresilienceperspective-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{abdelzaher2018toward,\n abstract = {The Internet of Battlefield Things (IoBT) might be one of the most expensive cyber-physical systems of the next decade, yet much research remains to develop its fundamental enablers. A challenge that distinguishes the IoBT from its civilian counterparts is resilience to a much larger spectrum of threats.},\n author = {Abdelzaher, Tarek and Ayanian, Nora and Basar, Tamer and Diggavi, Suhas and Diesner, Jana and Ganesan, Deepak and Govindan, Ramesh and Jha, Susmit and Lepoint, Tancrede and Marlin, Benjamin and others},\n journal = {Computer},\n number = {11},\n pages = {24--36},\n publisher = {IEEE},\n tags = {journal,CPS,DML},\n title = {Toward an internet of battlefield things: a resilience perspective},\n type = {2},\n doi = {10.1109/MC.2018.2876048},\n volume = {51},\n year = {2018}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  The Internet of Battlefield Things (IoBT) might be one of the most expensive cyber-physical systems of the next decade, yet much research remains to develop its fundamental enablers. A challenge that distinguishes the IoBT from its civilian counterparts is resilience to a much larger spectrum of threats.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_4\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_4')\"\n      onkeypress=\"toggleGroup('group_4')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>4</span>\n      <span class=\"bibbase_group_count\">\n        \n        (4)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"shoukry-mishra-luo-diggavi-sybilattackresilienttrafficnetworksaphysicsbasedtrustpropagationapproach-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Y. Shoukry;  S. Mishra;  Z. Luo;  and  S. Diggavi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Sybil Attack Resilient Traffic Networks: A Physics-Based Trust Propagation Approach.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)</i>, pages 43-54, April 2018. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICCPS.2018.00013\"\n     onclick=\"log_download('shoukry-mishra-luo-diggavi-sybilattackresilienttrafficnetworksaphysicsbasedtrustpropagationapproach-2018', 'http://doi.org/10.1109/ICCPS.2018.00013', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/shoukry-mishra-luo-diggavi-sybilattackresilienttrafficnetworksaphysicsbasedtrustpropagationapproach-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('shoukry-mishra-luo-diggavi-sybilattackresilienttrafficnetworksaphysicsbasedtrustpropagationapproach-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{8443720,\n abstract = {We study a crowdsourcing aided road traffic estimation setup, where a fraction of users (vehicles) are malicious, and report wrong sensory information, or even worse, report the presence of Sybil (ghost) vehicles that do not physically exist. The motivation for such attacks lies in the possibility of creating a &quot;virtual&quot; congestion that can influence routing algorithms, leading to &quot;actual&quot; congestion and chaos. We propose a Sybil attack-resilient traffic estimation and routing algorithm that is resilient against such attacks. In particular, our algorithm leverages noisy information from legacy sensing infrastructure, along with the dynamics and proximity graph of vehicles inferred from crowdsourced data. Furthermore, the scalability of our algorithm is based on efficient Boolean Satisfiability (SAT) solvers. We validated our algorithm using real traffic data from the Italian city of Bologna. Our algorithm led to a significant reduction in average travel time in the presence of Sybil attacks, including cases where the travel time was reduced from about an hour to a few minutes.},\n author = {Y. {Shoukry} and S. {Mishra} and Z. {Luo} and S. {Diggavi}},\n booktitle = {2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS)},\n doi = {10.1109/ICCPS.2018.00013},\n issn = {},\n keywords = {computability;graph theory;road traffic;telecommunication network routing;telecommunication security;crowdsourced data;traffic data;Sybil attack resilient traffic networks;physics-based trust propagation approach;crowdsourcing aided road traffic estimation setup;Sybil vehicles;virtual congestion;routing algorithms;chaos;routing algorithm;sensory information;noisy information;real traffic data;proximity graph;Automobiles;Routing;Roads;Heuristic algorithms;Estimation;Intelligent sensors;Secure Smart transportation systems;Sybil attacks;resilient routing},\n month = {April},\n number = {},\n pages = {43-54},\n tags = {conf,CPS},\n title = {Sybil Attack Resilient Traffic Networks: A Physics-Based Trust Propagation Approach},\n type = {4},\n volume = {},\n year = {2018}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  We study a crowdsourcing aided road traffic estimation setup, where a fraction of users (vehicles) are malicious, and report wrong sensory information, or even worse, report the presence of Sybil (ghost) vehicles that do not physically exist. The motivation for such attacks lies in the possibility of creating a \"virtual\" congestion that can influence routing algorithms, leading to \"actual\" congestion and chaos. We propose a Sybil attack-resilient traffic estimation and routing algorithm that is resilient against such attacks. In particular, our algorithm leverages noisy information from legacy sensing infrastructure, along with the dynamics and proximity graph of vehicles inferred from crowdsourced data. Furthermore, the scalability of our algorithm is based on efficient Boolean Satisfiability (SAT) solvers. We validated our algorithm using real traffic data from the Italian city of Bologna. Our algorithm led to a significant reduction in average travel time in the presence of Sybil attacks, including cases where the travel time was reduced from about an hour to a few minutes.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-willdistributedcomputingrevolutionizepeacetheemergenceofbattlefieldiot-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Tarek Abdelzaher;  Nora Ayanian;  Tamer Basar;  Suhas Diggavi;  Jana Diesner;  Deepak Ganesan;  Ramesh Govindan;  Susmit Jha;  Tancrede Lepoint;  Ben Marlin;  and  others.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Will distributed computing revolutionize peace? the emergence of battlefield iot.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS)</i>, pages 1129–1138,  2018. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICDCS.2018.00112\"\n     onclick=\"log_download('abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-willdistributedcomputingrevolutionizepeacetheemergenceofbattlefieldiot-2018', 'http://doi.org/10.1109/ICDCS.2018.00112', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-willdistributedcomputingrevolutionizepeacetheemergenceofbattlefieldiot-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('abdelzaher-ayanian-basar-diggavi-diesner-ganesan-govindan-jha-etal-willdistributedcomputingrevolutionizepeacetheemergenceofbattlefieldiot-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{abdelzaher2018will,\n abstract = {An upcoming frontier for distributed computing might literally save lives in future military operations. In civilian scenarios, significant efficiencies were gained from interconnecting devices into networked services and applications that automate much of everyday life from smart homes to intelligent transportation. The ecosystem of such applications and services is collectively called the Internet of Things (IoT). Can similar benefits be gained in a military context by developing an IoT for the battlefield? This paper describes unique challenges in such a context as well as potential risks, mitigation strategies, and benefits.},\n author = {Abdelzaher, Tarek and Ayanian, Nora and Basar, Tamer and Diggavi, Suhas and Diesner, Jana and Ganesan, Deepak and Govindan, Ramesh and Jha, Susmit and Lepoint, Tancrede and Marlin, Ben and others},\n booktitle = {2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS)},\n organization = {IEEE},\n pages = {1129--1138},\n tags = {conf,CPS,DML},\n title = {Will distributed computing revolutionize peace? the emergence of battlefield iot},\n type = {4},\n doi = {10.1109/ICDCS.2018.00112},\n year = {2018}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  An upcoming frontier for distributed computing might literally save lives in future military operations. In civilian scenarios, significant efficiencies were gained from interconnecting devices into networked services and applications that automate much of everyday life from smart homes to intelligent transportation. The ecosystem of such applications and services is collectively called the Internet of Things (IoT). Can similar benefits be gained in a military context by developing an IoT for the battlefield? This paper describes unique challenges in such a context as well as potential risks, mitigation strategies, and benefits.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"agarwal-karmoose-diggavi-fragouli-tabuada-distortinganadversarysviewincyberphysicalsystems-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Gaurav Kumar Agarwal;  Mohammed Karmoose;  Suhas Diggavi;  Christina Fragouli;  and  Paulo Tabuada.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/1809.04580\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'agarwal-karmoose-diggavi-fragouli-tabuada-distortinganadversarysviewincyberphysicalsystems-2018', 'https://arxiv.org/abs/1809.04580', event);\">\n    Distorting an adversary's view in cyber-physical systems.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>2018 IEEE Conference on Decision and Control (CDC)</i>, pages 1476–1481,  2018. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/1809.04580\"\n     onclick=\"log_download('agarwal-karmoose-diggavi-fragouli-tabuada-distortinganadversarysviewincyberphysicalsystems-2018', 'https://arxiv.org/abs/1809.04580', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Distorting an adversary&#x27;s view in cyber-physical systems [link]\"\n       title=\" arxiv\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> arxiv</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/CDC.2018.8619457\"\n     onclick=\"log_download('agarwal-karmoose-diggavi-fragouli-tabuada-distortinganadversarysviewincyberphysicalsystems-2018', 'http://doi.org/10.1109/CDC.2018.8619457', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/agarwal-karmoose-diggavi-fragouli-tabuada-distortinganadversarysviewincyberphysicalsystems-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('agarwal-karmoose-diggavi-fragouli-tabuada-distortinganadversarysviewincyberphysicalsystems-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{agarwal2018distorting,\n abstract = {In Cyber- Physical Systems (CPSs), inference based on communicated data is of critical significance as it can be used to manipulate or damage the control operations by adversaries. This calls for efficient mechanisms for secure transmission of data since control systems are becoming increasingly distributed over larger geographical areas. Distortion based security, recently proposed as one candidate for CPSs security, is not only more appropriate for these applications but also quite frugal in terms of prior requirements on shared keys. In this paper, we propose distortion-based metrics to protect CPSs communication and show that it is possible to confuse adversaries with just a few bits of pre-shared keys.},\n author = {Agarwal, Gaurav Kumar and Karmoose, Mohammed and Diggavi, Suhas and Fragouli, Christina and Tabuada, Paulo},\n booktitle = {2018 IEEE Conference on Decision and Control (CDC)},\n organization = {IEEE},\n pages = {1476--1481},\n tags = {conf,CPS},\n title = {Distorting an adversary&#x27;s view in cyber-physical systems},\n type = {4},\n url_arxiv = {https://arxiv.org/abs/1809.04580},\n doi = {10.1109/CDC.2018.8619457},\n year = {2018}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  In Cyber- Physical Systems (CPSs), inference based on communicated data is of critical significance as it can be used to manipulate or damage the control operations by adversaries. This calls for efficient mechanisms for secure transmission of data since control systems are becoming increasingly distributed over larger geographical areas. Distortion based security, recently proposed as one candidate for CPSs security, is not only more appropriate for these applications but also quite frugal in terms of prior requirements on shared keys. In this paper, we propose distortion-based metrics to protect CPSs communication and show that it is possible to confuse adversaries with just a few bits of pre-shared keys.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"sultangazin-diggavi-tabuada-protectingtheprivacyofnetworkedmultiagentsystemscontrolledoverthecloud-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Alimzhan Sultangazin;  Suhas Diggavi;  and  Paulo Tabuada.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Protecting the privacy of networked multi-agent systems controlled over the cloud.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>2018 27th International Conference on Computer Communication and Networks (ICCCN)</i>, pages 1–7,  2018. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ICCCN.2018.8487355\"\n     onclick=\"log_download('sultangazin-diggavi-tabuada-protectingtheprivacyofnetworkedmultiagentsystemscontrolledoverthecloud-2018', 'http://doi.org/10.1109/ICCCN.2018.8487355', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/sultangazin-diggavi-tabuada-protectingtheprivacyofnetworkedmultiagentsystemscontrolledoverthecloud-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('sultangazin-diggavi-tabuada-protectingtheprivacyofnetworkedmultiagentsystemscontrolledoverthecloud-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{sultangazin2018protecting,\n abstract = {The vision of an Internet-of-Things calls for combining the increasing connectivity of devices at the edge with the ability to compute either at the edge or on more powerful servers in the network. There is great interest in exploring the feasibility of these ideas when devices such as quadcopters or ground robots at the edge are controlled over the cloud, i.e., by leveraging computational power available elsewhere in the network. One of the main difficulties, especially in the context of the Internet-of-Battlefield- Things is the need to keep the data private. In this paper we propose a solution to this problem by extending previous results by the authors from a single system controlled over the cloud to networks of systems that are controlled and coordinated over the cloud. We propose a noncryptographic lightweight encoding scheme that ensures the privacy of the data exchanged by all the participating parties.},\n author = {Sultangazin, Alimzhan and Diggavi, Suhas and Tabuada, Paulo},\n booktitle = {2018 27th International Conference on Computer Communication and Networks (ICCCN)},\n organization = {IEEE},\n pages = {1--7},\n tags = {conf,CPS},\n title = {Protecting the privacy of networked multi-agent systems controlled over the cloud},\n type = {4},\n doi = {10.1109/ICCCN.2018.8487355},\n year = {2018}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  The vision of an Internet-of-Things calls for combining the increasing connectivity of devices at the edge with the ability to compute either at the edge or on more powerful servers in the network. There is great interest in exploring the feasibility of these ideas when devices such as quadcopters or ground robots at the edge are controlled over the cloud, i.e., by leveraging computational power available elsewhere in the network. One of the main difficulties, especially in the context of the Internet-of-Battlefield- Things is the need to keep the data private. In this paper we propose a solution to this problem by extending previous results by the authors from a single system controlled over the cloud to networks of systems that are controlled and coordinated over the cloud. We propose a noncryptographic lightweight encoding scheme that ensures the privacy of the data exchanged by all the participating parties.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2017\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2017')\"\n      onkeypress=\"toggleGroup('group_2017')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2017</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2')\"\n      onkeypress=\"toggleGroup('group_2')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"mishra-shoukry-karamchandani-diggavi-tabuada-securestateestimationagainstsensorattacksinthepresenceofnoise-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Shaunak Mishra;  Yasser Shoukry;  Nikhil Karamchandani;  Suhas N Diggavi;  and  Paulo Tabuada.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Secure state estimation against sensor attacks in the presence of noise.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>IEEE Transactions on Control of Network Systems</i>, 4(1): 49–59.  2017.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/mishra-shoukry-karamchandani-diggavi-tabuada-securestateestimationagainstsensorattacksinthepresenceofnoise-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('mishra-shoukry-karamchandani-diggavi-tabuada-securestateestimationagainstsensorattacksinthepresenceofnoise-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{mishra2017secure,\n author = {Mishra, Shaunak and Shoukry, Yasser and Karamchandani, Nikhil and Diggavi, Suhas N and Tabuada, Paulo},\n file = {:papers:mishra_secure.pdf},\n journal = {IEEE Transactions on Control of Network Systems},\n number = {1},\n pages = {49--59},\n publisher = {IEEE},\n tags = {journal,IT,SecureCPS},\n title = {Secure state estimation against sensor attacks in the presence of noise},\n type = {2},\n volume = {4},\n year = {2017}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_4\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_4')\"\n      onkeypress=\"toggleGroup('group_4')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>4</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"showkatbakhsh-shoukry-chen-diggavi-tabuada-ansmtbasedapproachtosecurestateestimationundersensorandactuatorattacks-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Mehrdad Showkatbakhsh;  Yasser Shoukry;  Robert H Chen;  Suhas Diggavi;  and  Paulo Tabuada.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  An SMT-based approach to secure state estimation under sensor and actuator attacks.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>2017 IEEE 56th Annual Conference on Decision and Control (CDC)</i>, pages 157–162,  2017. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/showkatbakhsh-shoukry-chen-diggavi-tabuada-ansmtbasedapproachtosecurestateestimationundersensorandactuatorattacks-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('showkatbakhsh-shoukry-chen-diggavi-tabuada-ansmtbasedapproachtosecurestateestimationundersensorandactuatorattacks-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{showkatbakhsh2017smt,\n author = {Showkatbakhsh, Mehrdad and Shoukry, Yasser and Chen, Robert H and Diggavi, Suhas and Tabuada, Paulo},\n booktitle = {2017 IEEE 56th Annual Conference on Decision and Control (CDC)},\n organization = {IEEE},\n pages = {157--162},\n tags = {conf,CPS},\n title = {An SMT-based approach to secure state estimation under sensor and actuator attacks},\n type = {4},\n year = {2017}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"tsai-agarwal-fragouli-diggavi-adistortionbasedapproachforprotectinginferences-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Chi-Yo Tsai;  Gaurav Kumar Agarwal;  Christina Fragouli;  and  Suhas Diggavi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  A distortion based approach for protecting inferences.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>2017 IEEE international symposium on information theory (ISIT)</i>, pages 1913–1917,  2017. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/tsai-agarwal-fragouli-diggavi-adistortionbasedapproachforprotectinginferences-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('tsai-agarwal-fragouli-diggavi-adistortionbasedapproachforprotectinginferences-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{tsai2017distortion,\n author = {Tsai, Chi-Yo and Agarwal, Gaurav Kumar and Fragouli, Christina and Diggavi, Suhas},\n booktitle = {2017 IEEE international symposium on information theory (ISIT)},\n organization = {IEEE},\n pages = {1913--1917},\n tags = {conf,CPS},\n title = {A distortion based approach for protecting inferences},\n type = {4},\n year = {2017}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2016\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2016')\"\n      onkeypress=\"toggleGroup('group_2016')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2016</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_group_whole\" id=\"group_4\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_4')\"\n      onkeypress=\"toggleGroup('group_4')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>4</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"showkatbakhsh-tabuada-diggavi-securesystemidentification-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Mehrdad Showkatbakhsh;  Paulo Tabuada;  and  Suhas N. Diggavi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Secure system identification.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016, Monticello, IL, USA, September 27-30, 2016</i>, pages 1137–1141,  2016. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/ALLERTON.2016.7852363\"\n     onclick=\"log_download('showkatbakhsh-tabuada-diggavi-securesystemidentification-2016', 'http://doi.org/10.1109/ALLERTON.2016.7852363', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/showkatbakhsh-tabuada-diggavi-securesystemidentification-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('showkatbakhsh-tabuada-diggavi-securesystemidentification-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/allerton/ShowkatbakhshTD16,\n abstract = {This work is concerned with the identification of linear time-invariant systems in the presence of an adversarial agent that attacks sensor measurements. The attacker is omniscient and we impose no restrictions (statistical or otherwise) on how the adversary alters the sensor measurements. We work in a noisy scenario where, in addition to the attacks, the sensor measurements are also affected by additive noise. Given a bound on the number of attacked sensors, and under a certain observability condition, we show that we can still construct a model that is useful for stabilization. Furthermore, we show that this model is closely related to the original system.},\n author = {Mehrdad Showkatbakhsh and\nPaulo Tabuada and\nSuhas N. Diggavi},\n bibsource = {dblp computer science bibliography, http://dblp.org},\n biburl = {http://dblp.uni-trier.de/rec/bib/conf/allerton/ShowkatbakhshTD16},\n booktitle = {54th Annual Allerton Conference on Communication, Control, and Computing,\nAllerton 2016, Monticello, IL, USA, September 27-30, 2016},\n crossref = {DBLP:conf/allerton/2016},\n doi = {10.1109/ALLERTON.2016.7852363},\n file = {:papers:mehrdad_allerton16.pdf},\n pages = {1137--1141},\n tags = {conf,IT,SecureCPS},\n timestamp = {Fri, 17 Feb 2017 10:49:47 +0100},\n title = {Secure system identification},\n type = {4},\n year = {2016}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  This work is concerned with the identification of linear time-invariant systems in the presence of an adversarial agent that attacks sensor measurements. The attacker is omniscient and we impose no restrictions (statistical or otherwise) on how the adversary alters the sensor measurements. We work in a noisy scenario where, in addition to the attacks, the sensor measurements are also affected by additive noise. Given a bound on the number of attacked sensors, and under a certain observability condition, we show that we can still construct a model that is useful for stabilization. Furthermore, we show that this model is closely related to the original system.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"showkatbakhsh-tabuada-diggavi-systemidentificationinthepresenceofadversarialoutputs-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Mehrdad Showkatbakhsh;  Paulo Tabuada;  and  Suhas N. Diggavi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  System identification in the presence of adversarial outputs.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016</i>, pages 7177–7182,  2016. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/CDC.2016.7799376\"\n     onclick=\"log_download('showkatbakhsh-tabuada-diggavi-systemidentificationinthepresenceofadversarialoutputs-2016', 'http://doi.org/10.1109/CDC.2016.7799376', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/showkatbakhsh-tabuada-diggavi-systemidentificationinthepresenceofadversarialoutputs-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('showkatbakhsh-tabuada-diggavi-systemidentificationinthepresenceofadversarialoutputs-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/cdc/ShowkatbakhshTD16,\n author = {Mehrdad Showkatbakhsh and\nPaulo Tabuada and\nSuhas N. Diggavi},\n bibsource = {dblp computer science bibliography, http://dblp.org},\n biburl = {http://dblp.uni-trier.de/rec/bib/conf/cdc/ShowkatbakhshTD16},\n booktitle = {55th {IEEE} Conference on Decision and Control, CDC 2016, Las Vegas,\nNV, USA, December 12-14, 2016},\n crossref = {DBLP:conf/cdc/2016},\n doi = {10.1109/CDC.2016.7799376},\n file = {:papers:mehrdad_cdc16.pdf},\n pages = {7177--7182},\n tags = {conf,IT,SecureCPS},\n timestamp = {Tue, 03 Jan 2017 15:16:45 +0100},\n title = {System identification in the presence of adversarial outputs},\n type = {4},\n year = {2016}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2015\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2015')\"\n      onkeypress=\"toggleGroup('group_2015')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2015</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_group_whole\" id=\"group_4\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_4')\"\n      onkeypress=\"toggleGroup('group_4')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>4</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"mishra-shoukry-karamchandani-diggavi-tabuada-securestateestimationoptimalguaranteesagainstsensorattacksinthepresenceofnoise-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   S. Mishra;  Y. Shoukry;  N. Karamchandani;  S. Diggavi;  and  P. Tabuada.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Information Theory (ISIT), 2015 IEEE International Symposium on</i>, pages 2929-2933, June 2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/mishra-shoukry-karamchandani-diggavi-tabuada-securestateestimationoptimalguaranteesagainstsensorattacksinthepresenceofnoise-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('mishra-shoukry-karamchandani-diggavi-tabuada-securestateestimationoptimalguaranteesagainstsensorattacksinthepresenceofnoise-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{7282993,\n author = {Mishra, S. and Shoukry, Y. and Karamchandani, N. and Diggavi, S. and Tabuada, P.},\n booktitle = {Information Theory (ISIT), 2015 IEEE International Symposium on},\n file = {:papers:sse_mskdt.pdf},\n month = {June},\n pages = {2929-2933},\n tags = {conf,IT,SecureCPS},\n title = {Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise},\n type = {4},\n year = {2015}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"shoukry-martin-yona-diggavi-srivastava-pycraphysicalchallengeresponseauthenticationforactivesensorsunderspoofingattacks-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   Y. Shoukry;  P. Martin;  Y. Yona;  S. Diggavi;  and  M. Srivastava.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>The 22nd ACM Conference on Computer and Communications Security (CCS 2015)</i>, pages 1004-1015, October 2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/shoukry-martin-yona-diggavi-srivastava-pycraphysicalchallengeresponseauthenticationforactivesensorsunderspoofingattacks-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('shoukry-martin-yona-diggavi-srivastava-pycraphysicalchallengeresponseauthenticationforactivesensorsunderspoofingattacks-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{PyCRA,\n author = {Shoukry, Y. and Martin, P. and Yona, Y. and Diggavi, S. and Srivastava, M.},\n booktitle = {The 22nd ACM Conference on Computer and Communications Security (CCS 2015)},\n file = {:papers:pycra.pdf},\n month = {October},\n pages = {1004-1015},\n tags = {conf,IT,SecureCPS,Hardware},\n title = {PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks},\n type = {4},\n year = {2015}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2014\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2014')\"\n      onkeypress=\"toggleGroup('group_2014')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2014</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2')\"\n      onkeypress=\"toggleGroup('group_2')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"fawzi-tabuada-diggavi-secureestimationandcontrolforcyberphysicalsystemsunderadversarialattacks-2014\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   H. Fawzi;  P. Tabuada;  and  S. Diggavi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://arxiv.org/abs/1205.5073\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'fawzi-tabuada-diggavi-secureestimationandcontrolforcyberphysicalsystemsunderadversarialattacks-2014', 'http://arxiv.org/abs/1205.5073', event);\">\n    Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks.\n  </a>\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  <i>Automatic Control, IEEE Transactions on</i>, 59(6): 1454-1467. June 2014.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://arxiv.org/abs/1205.5073\"\n     onclick=\"log_download('fawzi-tabuada-diggavi-secureestimationandcontrolforcyberphysicalsystemsunderadversarialattacks-2014', 'http://arxiv.org/abs/1205.5073', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks [link]\"\n       title=\" arxiv\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> arxiv</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1109/TAC.2014.2303233\"\n     onclick=\"log_download('fawzi-tabuada-diggavi-secureestimationandcontrolforcyberphysicalsystemsunderadversarialattacks-2014', 'http://doi.org/10.1109/TAC.2014.2303233', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fawzi-tabuada-diggavi-secureestimationandcontrolforcyberphysicalsystemsunderadversarialattacks-2014\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fawzi-tabuada-diggavi-secureestimationandcontrolforcyberphysicalsystemsunderadversarialattacks-2014')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{6727407,\n abstract = {The vast majority of today&#x27;s critical infrastructure is supported by numerous feedback control loops and an attack on these control loops can have disastrous consequences. This is a major concern since modern control systems are becoming large and decentralized and thus more vulnerable to attacks. This paper is concerned with the estimation and control of linear systems when some of the sensors or actuators are corrupted by an attacker. We give a new simple characterization of the maximum number of attacks that can be detected and corrected as a function of the pair (A,C) of the system and we show in particular that it is impossible to accurately reconstruct the state of a system if more than half the sensors are attacked. In addition, we show how the design of a secure local control loop can improve the resilience of the system. When the number of attacks is smaller than a threshold, we propose an efficient algorithm inspired from techniques in compressed sensing to estimate the state of the plant despite attacks. We give a theoretical characterization of the performance of this algorithm and we show on numerical simulations that the method is promising and allows to reconstruct the state accurately despite attacks. Finally, we consider the problem of designing output-feedback controllers that stabilize the system despite sensor attacks. We show that a principle of separation between estimation and control holds and that the design of resilient output feedback controllers can be reduced to the design of resilient state estimators.},\n author = {Fawzi, H. and Tabuada, P. and Diggavi, S.},\n doi = {10.1109/TAC.2014.2303233},\n issn = {0018-9286},\n journal = {Automatic Control, IEEE Transactions on},\n month = {June},\n number = {6},\n pages = {1454-1467},\n tags = {journal,SecureCPS},\n title = {Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks},\n type = {2},\n url_arxiv = {http://arxiv.org/abs/1205.5073},\n volume = {59},\n year = {2014}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  The vast majority of today's critical infrastructure is supported by numerous feedback control loops and an attack on these control loops can have disastrous consequences. This is a major concern since modern control systems are becoming large and decentralized and thus more vulnerable to attacks. This paper is concerned with the estimation and control of linear systems when some of the sensors or actuators are corrupted by an attacker. We give a new simple characterization of the maximum number of attacks that can be detected and corrected as a function of the pair (A,C) of the system and we show in particular that it is impossible to accurately reconstruct the state of a system if more than half the sensors are attacked. In addition, we show how the design of a secure local control loop can improve the resilience of the system. When the number of attacks is smaller than a threshold, we propose an efficient algorithm inspired from techniques in compressed sensing to estimate the state of the plant despite attacks. We give a theoretical characterization of the performance of this algorithm and we show on numerical simulations that the method is promising and allows to reconstruct the state accurately despite attacks. Finally, we consider the problem of designing output-feedback controllers that stabilize the system despite sensor attacks. We show that a principle of separation between estimation and control holds and that the design of resilient output feedback controllers can be reduced to the design of resilient state estimators.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2012\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2012')\"\n      onkeypress=\"toggleGroup('group_2012')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2012</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_group_whole\" id=\"group_4\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_4')\"\n      onkeypress=\"toggleGroup('group_4')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>4</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"fawzi-tabuada-diggavi-securityforcontrolsystemsundersensorandactuatorattacks-2012\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   H. Fawzi;  P. Tabuada;  and  S. Diggavi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Security for control systems under sensor and actuator attacks.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Decision and Control (CDC), 2012 IEEE 51st Annual Conference on</i>, pages 3412-3417, Dec 2012. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/CDC.2012.6426811\"\n     onclick=\"log_download('fawzi-tabuada-diggavi-securityforcontrolsystemsundersensorandactuatorattacks-2012', 'http://doi.org/10.1109/CDC.2012.6426811', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fawzi-tabuada-diggavi-securityforcontrolsystemsundersensorandactuatorattacks-2012\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fawzi-tabuada-diggavi-securityforcontrolsystemsundersensorandactuatorattacks-2012')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{6426811,\n abstract = {We consider the problem of estimation and control of a linear system when some of the sensors or actuators are attacked by a malicious agent. In our previous work [1] we studied systems with no control inputs and we formulated the estimation problem as a dynamic error correction problem with sparse attack vectors. In this paper we extend our study and look at the role of inputs and control. We first show that it is possible to increase the resilience of the system to attacks by changing the dynamics of the system using state-feedback while having (almost) total freedom in placing the new poles of the system. We then look at the problem of stabilizing a plant using output-feedback despite attacks on sensors, and we show that a principle of separation of estimation and control holds. Finally we look at the effect of attacks on actuators in addition to attacks on sensors: we characterize the resilience of the system with respect to actuator and sensor attacks and we formulate an efficient optimization-based decoder to estimate the state of the system despite attacks on actuators and sensors.},\n author = {Fawzi, H. and Tabuada, P. and Diggavi, S.},\n booktitle = {Decision and Control (CDC), 2012 IEEE 51st Annual Conference on},\n doi = {10.1109/CDC.2012.6426811},\n file = {:papers:security_cdc.pdf},\n issn = {0743-1546},\n month = {Dec},\n pages = {3412-3417},\n tags = {conf,SecureCPS},\n title = {Security for control systems under sensor and actuator attacks},\n type = {4},\n year = {2012}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  We consider the problem of estimation and control of a linear system when some of the sensors or actuators are attacked by a malicious agent. In our previous work [1] we studied systems with no control inputs and we formulated the estimation problem as a dynamic error correction problem with sparse attack vectors. In this paper we extend our study and look at the role of inputs and control. We first show that it is possible to increase the resilience of the system to attacks by changing the dynamics of the system using state-feedback while having (almost) total freedom in placing the new poles of the system. We then look at the problem of stabilizing a plant using output-feedback despite attacks on sensors, and we show that a principle of separation of estimation and control holds. Finally we look at the effect of attacks on actuators in addition to attacks on sensors: we characterize the resilience of the system with respect to actuator and sensor attacks and we formulate an efficient optimization-based decoder to estimate the state of the system despite attacks on actuators and sensors.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2011\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2011')\"\n      onkeypress=\"toggleGroup('group_2011')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2011</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_group_whole\" id=\"group_4\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_4')\"\n      onkeypress=\"toggleGroup('group_4')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>4</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"fawzi-tabuada-diggavi-securestateestimationfordynamicalsystemsunderactiveadversaries-2011\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_author\">\n   H. Fawzi;  P. Tabuada;  and  S. Diggavi.\n</span>\n\n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Secure state-estimation for dynamical systems under active adversaries.\n  \n  \n  \n</span>\n\n  \n\n</span>\n\n  In <i>Communication, Control, and Computing (Allerton), 2011 49th Annual Allerton Conference on</i>, pages 337-344, Sept 2011. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n  <a href=\"http://doi.org/10.1109/Allerton.2011.6120187\"\n     onclick=\"log_download('fawzi-tabuada-diggavi-securestateestimationfordynamicalsystemsunderactiveadversaries-2011', 'http://doi.org/10.1109/Allerton.2011.6120187', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/fawzi-tabuada-diggavi-securestateestimationfordynamicalsystemsunderactiveadversaries-2011\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>1 download</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('fawzi-tabuada-diggavi-securestateestimationfordynamicalsystemsunderactiveadversaries-2011')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{6120187,\n abstract = {We consider the problem of state-estimation of a linear dynamical system when some of the sensor measurements are corrupted by an adversarial attacker. The errors injected by the attacker in the sensor measurements can be arbitrary and are not assumed to follow a specific model (in particular they can be of arbitrary magnitude). We first characterize the number of attacked sensors that can be tolerated so that the state of the system can still be correctly recovered by any decoding algorithm. We then propose a specific computationally feasible decoding algorithm and we give a characterization of the number of errors this decoder can correct. For this we use ideas from compressed sensing and error correction over the reals and we exploit the dynamical nature of the problem. We show using numerical simulations that this decoder performs very well in practice and allows to correct a large number of errors.},\n author = {Fawzi, H. and Tabuada, P. and Diggavi, S.},\n booktitle = {Communication, Control, and Computing (Allerton), 2011 49th Annual Allerton Conference on},\n doi = {10.1109/Allerton.2011.6120187},\n file = {:papers:secure_state_estimate.pdf},\n month = {Sept},\n pages = {337-344},\n tags = {conf,SecureCPS},\n title = {Secure state-estimation for dynamical systems under active adversaries},\n type = {4},\n year = {2011}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  We consider the problem of state-estimation of a linear dynamical system when some of the sensor measurements are corrupted by an adversarial attacker. The errors injected by the attacker in the sensor measurements can be arbitrary and are not assumed to follow a specific model (in particular they can be of arbitrary magnitude). We first characterize the number of attacked sensors that can be tolerated so that the state of the system can still be correctly recovered by any decoding algorithm. We then propose a specific computationally feasible decoding algorithm and we give a characterization of the number of errors this decoder can correct. For this we use ideas from compressed sensing and error correction over the reals and we exploit the dynamical nature of the problem. We show using numerical simulations that this decoder performs very well in practice and allows to correct a large number of errors.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);